Timeline for natural metrics for proof length
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 12, 2020 at 7:23 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
More references.
|
| Aug 12, 2020 at 7:18 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 56 characters in body
|
| Aug 11, 2020 at 21:48 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
spell checking
|
| Aug 11, 2020 at 21:40 | vote | accept | Aidan Rocke | ||
| May 31, 2023 at 8:21 | |||||
| Aug 11, 2020 at 21:11 | history | answered | Andrej Bauer | CC BY-SA 4.0 |