Timeline for "A computer program IS a proof": Introducing rigor via programming
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 22, 2014 at 14:40 | history | edited | Steve Jessop | CC BY-SA 3.0 |
added 254 characters in body
|
| Jun 21, 2014 at 13:40 | comment | added | Joseph O'Rourke | "there's no perfect correspondence between the program and the proof": Nicely put! I agree. | |
| Jun 21, 2014 at 11:37 | history | edited | Steve Jessop | CC BY-SA 3.0 |
added 609 characters in body
|
| Jun 21, 2014 at 11:31 | history | edited | Steve Jessop | CC BY-SA 3.0 |
added 609 characters in body
|
| Jun 21, 2014 at 11:25 | history | edited | Steve Jessop | CC BY-SA 3.0 |
added 609 characters in body
|
| Jun 21, 2014 at 3:22 | history | edited | Steve Jessop | CC BY-SA 3.0 |
added 17 characters in body
|
| Jun 21, 2014 at 1:38 | history | edited | Steve Jessop | CC BY-SA 3.0 |
added 270 characters in body
|
| Jun 21, 2014 at 1:15 | history | edited | Steve Jessop | CC BY-SA 3.0 |
added 224 characters in body
|
| Jun 21, 2014 at 1:10 | history | edited | Steve Jessop | CC BY-SA 3.0 |
added 224 characters in body
|
| Jun 21, 2014 at 1:04 | history | edited | Steve Jessop | CC BY-SA 3.0 |
added 224 characters in body
|
| Jun 21, 2014 at 0:57 | history | answered | Steve Jessop | CC BY-SA 3.0 |