Timeline for What makes dependent type theory more suitable than set theory for proof assistants?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 20, 2020 at 20:32 | review | First posts | |||
| Nov 20, 2020 at 20:45 | |||||
| Nov 20, 2020 at 20:31 | history | answered | Joe Hendrix | CC BY-SA 4.0 |