Timeline for Why is writing down mathematical proofs more fault-proof than writing computer code?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 18, 2017 at 13:07 | history | edited | James Hollis | CC BY-SA 3.0 |
added 3 characters in body
|
| Dec 18, 2017 at 12:58 | history | answered | James Hollis | CC BY-SA 3.0 |