Timeline for Formally Verified Complexity Theory
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 22, 2017 at 15:38 | history | edited | Martin Hofmann | CC BY-SA 3.0 |
added 188 characters in body
|
| Nov 22, 2017 at 15:29 | comment | added | holf | Could you please give the complete reference so that the answer does not depend on the validity of the link? | |
| Nov 22, 2017 at 15:23 | history | answered | Martin Hofmann | CC BY-SA 3.0 |