Timeline for Proof assistant for writing mathematics
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 25, 2011 at 16:22 | comment | added | Timothy Chow | Coq is a reasonable choice; however, if xddz5 really wants to work in ZF set theory rather than type theory, then perhaps Mizar is more suitable. | |
| Feb 25, 2011 at 7:29 | history | answered | Dave Clarke | CC BY-SA 2.5 |