Timeline for Is there good reference for proof complexity?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 14, 2023 at 8:55 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
link to the published book
|
| Dec 10, 2018 at 16:17 | history | edited | Erfan Khaniki | CC BY-SA 4.0 |
added 228 characters in body
|
| Sep 11, 2017 at 2:09 | history | edited | Erfan Khaniki | CC BY-SA 3.0 |
added 2 characters in body
|
| Sep 10, 2017 at 16:11 | history | edited | Erfan Khaniki | CC BY-SA 3.0 |
added 610 characters in body
|
| Sep 10, 2017 at 15:58 | history | answered | Erfan Khaniki | CC BY-SA 3.0 |