Timeline for Open source proof assistants for first order logic with equality and set theory
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 17, 2022 at 16:39 | history | edited | Simon Guilloud | CC BY-SA 4.0 |
added 19 characters in body
|
| S Jun 17, 2022 at 16:39 | review | First answers | |||
| Jun 17, 2022 at 20:43 | |||||
| S Jun 17, 2022 at 16:39 | history | answered | Simon Guilloud | CC BY-SA 4.0 |