https://github.com/yurrriq/hott-agda

:fire: Agda
https://github.com/yurrriq/hott-agda

agda homotopy-theory learning-exercise theorem-proving type-theory

Last synced: 7 days ago
JSON representation

:fire: Agda

• Host: GitHub
• URL: https://github.com/yurrriq/hott-agda
• Owner: yurrriq
• License: bsd-3-clause
• Created: 2017-04-20T16:22:37.000Z (almost 8 years ago)
• Default Branch: develop
• Last Pushed: 2017-08-22T02:08:07.000Z (over 7 years ago)
• Last Synced: 2024-11-17T07:29:25.373Z (2 months ago)
• Topics: agda, homotopy-theory, learning-exercise, theorem-proving, type-theory
• Language: Agda
• Homepage:
• Size: 85.9 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# HoTT-Coq

🔥🐔