Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Proof Assistant Cubical Type Theory Open Source Projects

Open source projects categorized as Proof Assistant Cubical Type Theory
Categories > Cubical Type Theory
Categories > Programming Languages > Proof Assistant
Sml Redprl ⭐ 214
The People's Refinement Logic
most recent commit 4 years ago
Cooltt ⭐ 206
😎TT
most recent commit 6 months ago
Redtt ⭐ 183
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
most recent commit 2 years ago
Mlang ⭐ 60
Towards changing things and see if it proofs
most recent commit 3 years ago
Kado ⭐ 18
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
most recent commit 5 months ago
Anders ⭐ 14
🧊 Модальний Гомотопічний Прувер
total releases 1most recent commit 6 months ago
Anders ⭐ 13
Anders: Cubical Type Checker
most recent commit 6 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.