https://github.com/tchajed/goedel-t
Formalization of termination of Gödel's System T
https://github.com/tchajed/goedel-t
coq formalization
Last synced: about 1 year ago
JSON representation
Formalization of termination of Gödel's System T
- Host: GitHub
- URL: https://github.com/tchajed/goedel-t
- Owner: tchajed
- Created: 2016-06-20T23:54:01.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2021-06-06T15:12:55.000Z (about 5 years ago)
- Last Synced: 2023-03-26T02:12:29.273Z (about 3 years ago)
- Topics: coq, formalization
- Language: Coq
- Homepage:
- Size: 70.3 KB
- Stars: 9
- Watchers: 3
- Forks: 0
- Open Issues: 0