Timeline for Information density of proofs?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 20, 2020 at 17:05 | vote | accept | user318904 | ||
| Aug 13, 2020 at 17:45 | answer | added | Jacques Carette | timeline score: 3 | |
| Aug 13, 2020 at 17:22 | comment | added | Jacques Carette | This is non-trivially related to the recent question mathoverflow.net/questions/368893/…. | |
| Aug 12, 2020 at 21:15 | review | First posts | |||
| Aug 13, 2020 at 7:23 | |||||
| Aug 12, 2020 at 21:11 | history | asked | user318904 | CC BY-SA 4.0 |