Timeline for formalisation of Bourbaki, General Topology
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 8, 2019 at 18:22 | history | edited | YCor |
edited tags
|
|
| May 8, 2019 at 18:18 | answer | added | Patrick Massot | timeline score: 8 | |
| Dec 18, 2018 at 20:42 | answer | added | Reid Barton | timeline score: 5 | |
| May 2, 2018 at 8:15 | comment | added | Philippe Gaucher | It's a old question (almost 2-y old). As a comment, I would say that to the best of my knowledge, there is no formalization of Bourbaki with a proof assistant (but I may be wrong). Concerning this kind of topological argument, the proof assistant Mizar (mizar.org) should have it in its library. | |
| Aug 24, 2016 at 9:11 | history | asked | user97621 | CC BY-SA 3.0 |