Timeline for Less ridiculous way to prove that an Ascii character compares equal with itself in Coq
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 29 at 17:27 | vote | accept | Greg Nisbet | ||
| Jun 28 at 2:17 | vote | accept | Greg Nisbet | ||
| S Jun 29 at 17:27 | |||||
| Jun 27 at 20:19 | answer | added | Gilles 'SO- stop being evil' | timeline score: 3 | |
| Jun 27 at 11:20 | history | became hot network question | |||
| Jun 27 at 9:41 | answer | added | Julio Di Egidio | timeline score: 4 | |
| Jun 27 at 7:30 | comment | added | Naïm Favier | You could look at how the stdlib does it. | |
| Jun 27 at 6:57 | answer | added | Li-yao Xia | timeline score: 8 | |
| Jun 27 at 4:17 | answer | added | djao | timeline score: 7 | |
| Jun 27 at 3:46 | history | edited | Greg Nisbet | CC BY-SA 4.0 |
edited title
|
| Jun 27 at 3:15 | history | asked | Greg Nisbet | CC BY-SA 4.0 |