Timeline for "A computer program IS a proof": Introducing rigor via programming
Current License: CC BY-SA 3.0
1 event
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jul 2, 2014 at 16:23 | history | answered | gnasher729 | CC BY-SA 3.0 |