Timeline for What are some good resources for Proof Assistant based exercises/puzzles for recreation and practice?
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 28, 2022 at 12:33 | history | answered | Jason Rute | CC BY-SA 4.0 |