Timeline for Proving non-existence of "least" subtype generator in Coq
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 16 at 13:25 | vote | accept | Charles Averill | ||
| Mar 15 at 18:16 | answer | added | Li-yao Xia | timeline score: 1 | |
| Mar 15 at 16:12 | history | asked | Charles Averill | CC BY-SA 4.0 |