Timeline for The use of computers leading to major mathematical advances II
Current License: CC BY-SA 4.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Aug 28, 2022 at 7:18 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
added a Wikipedia link
|
Jul 1, 2021 at 7:34 | history | edited | Francesco Polizzi | CC BY-SA 4.0 |
added 30 characters in body
|
Jul 1, 2021 at 7:33 | comment | added | Francesco Polizzi | Ok, thank you for providing the names of further contributors. I edited the answer accordingly. | |
Jul 1, 2021 at 6:56 | comment | added | Kevin Buzzard | I concur with this -- in fact when it comes to actual lines of code written, several of the people in the above list wrote way more than me. Certainly I am a big proponent of formalising modern mathematics in a theorem prover, but most of the hard work here was done by others. | |
Jul 1, 2021 at 4:45 | comment | added | jmc | Other people involved in this project: Adam Topaz, Riccardo Brasca, Patrick Massot, Scott Morrison, Bhavik Mehta, Filippo Nuccio, Heather Macbeth, Damiano Testa, Mario Carneiro and many other helpful contributions from people in the Lean community. | |
Jun 30, 2021 at 12:32 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
Jun 30, 2021 at 9:19 | history | answered | Francesco Polizzi | CC BY-SA 4.0 |