Timeline for Proof assistants for mathematics
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 12, 2023 at 15:48 | comment | added | Alex Nelson | There is also Mizar in a Nutshell and on math stackexchange a thread outline Mizar's library. At the risk of sounding immodest, I also have a few random notes on Mizar. | |
| Feb 13, 2010 at 18:56 | history | answered | kakaz | CC BY-SA 2.5 |