https://github.com/jaycech3n/isabelle-hott

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
https://github.com/jaycech3n/isabelle-hott

homotopy-type-theory interactive-theorem-proving isabelle type-theory

Last synced: 20 days ago
JSON representation

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

• Host: GitHub
• URL: https://github.com/jaycech3n/isabelle-hott
• Owner: jaycech3n
• License: other
• Created: 2018-05-23T06:30:34.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-11-30T12:22:25.000Z (about 2 years ago)
• Last Synced: 2023-05-05T14:29:02.659Z (over 1 year ago)
• Topics: homotopy-type-theory, interactive-theorem-proving, isabelle, type-theory
• Language: Standard ML
• Homepage:
• Size: 405 KB
• Stars: 33
• Watchers: 8
• Forks: 4
• Open Issues: 2

Awesome Lists containing this project