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