Timeline for Proof assistants for beginners - a comparison
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 10, 2022 at 9:02 | history | edited | Max Heiber | CC BY-SA 4.0 |
added 19 characters in body
|
| Feb 9, 2022 at 20:52 | history | edited | Max Heiber | CC BY-SA 4.0 |
added 398 characters in body
|
| S Feb 9, 2022 at 20:37 | review | First answers | |||
| Feb 9, 2022 at 20:54 | |||||
| S Feb 9, 2022 at 20:37 | history | answered | Max Heiber | CC BY-SA 4.0 |