https://github.com/theowinterhalter/ett-to-itt

Coq formalisation and plugin of a translation from ETT to ITT
https://github.com/theowinterhalter/ett-to-itt

coq extensionality reflection template-coq translation type-theory

Last synced: 16 days ago
JSON representation

Coq formalisation and plugin of a translation from ETT to ITT

• Host: GitHub
• URL: https://github.com/theowinterhalter/ett-to-itt
• Owner: TheoWinterhalter
• Created: 2018-05-31T12:50:43.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2021-04-10T09:16:32.000Z (almost 4 years ago)
• Last Synced: 2024-11-30T02:16:40.399Z (3 months ago)
• Topics: coq, extensionality, reflection, template-coq, translation, type-theory
• Language: Coq
• Homepage:
• Size: 836 KB
• Stars: 5
• Watchers: 5
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project