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 2 months 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 (over 8 years ago)
• Default Branch: master
• Last Pushed: 2021-06-06T15:12:55.000Z (over 3 years ago)
• Last Synced: 2023-03-26T02:12:29.273Z (almost 2 years ago)
• Topics: coq, formalization
• Language: Coq
• Homepage:
• Size: 70.3 KB
• Stars: 9
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project