Timeline for Less ridiculous way to prove that an Ascii character compares equal with itself in Coq
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 27 at 20:19 | review | First answers | |||
| Jun 28 at 0:22 | |||||
| S Jun 27 at 20:19 | history | answered | Gilles 'SO- stop being evil' | CC BY-SA 4.0 |