https://github.com/agda/cubical

An experimental library for Cubical Agda
https://github.com/agda/cubical

agda cubical-type-theory library

Last synced: about 1 month ago
JSON representation

An experimental library for Cubical Agda

• Host: GitHub
• URL: https://github.com/agda/cubical
• Owner: agda
• License: other
• Created: 2018-10-15T09:28:28.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2024-05-22T13:04:10.000Z (7 months ago)
• Last Synced: 2024-05-22T13:47:18.061Z (7 months ago)
• Topics: agda, cubical-type-theory, library
• Language: Agda
• Homepage: https://agda.github.io/cubical/Cubical.README.html
• Size: 248 MB
• Stars: 427
• Watchers: 28
• Forks: 132
• Open Issues: 83
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Citation: CITATION.cff

Awesome Lists containing this project