Timeline for Is there a database for tracking the dependencies of mathematical theorems?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 9, 2016 at 15:47 | comment | added | Colin McLarty | But note that the Stacks project is doing this for conceptual clarity. They do not attempt any logtical minimalism. Many of these dependencies would be easy to avoid logically, but were helpful to the exposition. | |
| Sep 9, 2016 at 1:14 | history | edited | Joseph O'Rourke | CC BY-SA 3.0 |
added 58 characters in body
|
| Sep 9, 2016 at 1:01 | comment | added | Chill2Macht | Thank you so much! This is exactly the type of image I was hoping existed. I really appreciate it. | |
| Sep 9, 2016 at 0:56 | history | answered | Joseph O'Rourke | CC BY-SA 3.0 |