Timeline for Proof assistants for mathematics
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 29, 2022 at 14:50 | history | edited | The Amplitwist | CC BY-SA 4.0 |
fixed broken link and added link to snapshot saved on Wayback Machine
|
| Jan 10, 2016 at 22:41 | comment | added | Jonathan Julian | @NeelKrishnaswami , in your answer you mention that "the number of people who know how to do real math in proof assistants and explain it to others can probably be counted on your fingers". I assume you are one of them, can you list other three? what are their names? | |
| Feb 27, 2010 at 2:52 | comment | added | Jacques Carette | +1 for mentionning de Bruijn's tremendous work in this area. The Automath papers still contain gems that few have yet to properly understand, and are reinventing all the time. | |
| Feb 26, 2010 at 20:07 | comment | added | Charles Stewart | +1: "how to actually represent mathematics". I'd add a third item: De Bruijn's writings on formalising the mathematical vernacular. | |
| Dec 11, 2009 at 9:09 | history | answered | Neel Krishnaswami | CC BY-SA 2.5 |