Timeline for Is there a database for tracking the dependencies of mathematical theorems?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 17 at 0:27 | comment | added | Daniel Donnelly | It's too bad the names are encoded. At least they could be made into links to the definition of the encoded word. | |
| Sep 9, 2016 at 9:36 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
Added diagram
|
| Sep 9, 2016 at 9:30 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
Added diagram
|
| Sep 8, 2016 at 23:03 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 103 characters in body
|
| Sep 8, 2016 at 22:57 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 103 characters in body
|
| Sep 8, 2016 at 22:51 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |