Timeline for İnduction/inversion and others in coq
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 17, 2023 at 19:55 | answer | added | Pierre Courtieu | timeline score: 1 | |
| Aug 17, 2023 at 12:38 | comment | added | Trebor♦ | I think this question can be improved by giving an actual example that you struggle with, so that answerers can refer to something concrete. | |
| Aug 17, 2023 at 12:31 | history | asked | noCrayCray | CC BY-SA 4.0 |