Timeline for An example of something you can formally verify with proofs in Software Development
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 29, 2018 at 3:27 | vote | accept | Lance Pollard | ||
| Jun 23, 2018 at 22:00 | vote | accept | Lance Pollard | ||
| Jun 29, 2018 at 3:27 | |||||
| Jun 23, 2018 at 18:00 | answer | added | xuq01 | timeline score: 6 | |
| Jun 23, 2018 at 14:55 | comment | added | D.W.♦ | cs.stackexchange.com/q/70044/755 | |
| Jun 23, 2018 at 14:39 | answer | added | Basile Starynkevitch | timeline score: 9 | |
| Jun 23, 2018 at 14:24 | history | asked | Lance Pollard | CC BY-SA 4.0 |