https://github.com/mortberg/yacctt

yacctt: Yet Another Cartesian Cubical Type Theory
https://github.com/mortberg/yacctt

Last synced: 2 months ago
JSON representation

yacctt: Yet Another Cartesian Cubical Type Theory

• Host: GitHub
• URL: https://github.com/mortberg/yacctt
• Owner: mortberg
• License: mit
• Created: 2018-02-16T20:19:53.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-07-30T11:05:14.000Z (over 6 years ago)
• Last Synced: 2024-10-11T21:45:58.949Z (3 months ago)
• Language: Haskell
• Homepage:
• Size: 266 KB
• Stars: 74
• Watchers: 12
• Forks: 8
• Open Issues: 1

Awesome Lists containing this project