Timeline for Proof of correctness of algorithms (induction)
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 24, 2019 at 10:15 | vote | accept | Martin Spasov | ||
| Dec 5, 2016 at 18:44 | vote | accept | Martin Spasov | ||
| Feb 24, 2019 at 10:15 | |||||
| Dec 5, 2016 at 11:37 | history | answered | hengxin | CC BY-SA 3.0 |