# Timeline for "A computer program IS a proof": Introducing rigor via programming

### Current License: CC BY-SA 3.0

6 events
when toggle format what by license comment
Jun 21 '14 at 15:27 comment @kahen I did, thank you.
Jun 21 '14 at 15:27 history edited
Jun 21 '14 at 9:08 comment I think you meant to write $10^{200}$ rather than $1^{200}$?