Timeline for Exhaustiveness matching in proof objects for induction in Coq
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 7, 2023 at 3:06 | vote | accept | Travis Allison | ||
| Jan 6, 2023 at 7:32 | answer | added | Pierre Castéran | timeline score: 1 | |
| Jan 6, 2023 at 3:15 | history | edited | Travis Allison | CC BY-SA 4.0 |
Improved formatting
|
| S Jan 6, 2023 at 3:12 | review | First questions | |||
| Jan 7, 2023 at 3:09 | |||||
| S Jan 6, 2023 at 3:12 | history | asked | Travis Allison | CC BY-SA 4.0 | created from wizard |