Timeline for How do we construct the Gödel’s sentence in Martin-Löf type theory?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 8, 2019 at 18:50 | history | edited | Jason Gross | CC BY-SA 4.0 |
Corrected spelling
|
| Jul 8, 2017 at 3:38 | history | answered | Jason Gross | CC BY-SA 3.0 |