Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for homotopy type theory hott
homotopy-type-theory
x
hott
x
3 search results found
Ground_zero
⭐
23
Ground Zero: Lean 4 HoTT Library
Anders
⭐
13
Anders: Cubical Type Checker
Bravo
⭐
6
Castle Bravo: Experimental HoTT Implementation
Related Searches
Agda Homotopy Type Theory (9)
Homotopy Type Theory Univalent Foundations (7)
Types Homotopy Type Theory (5)
Proof Assistant Homotopy Type Theory (4)
Cubical Type Theory Hott (4)
Homotopy Type Theory Univalent Mathematics (4)
Agda Hott (4)
Dependent Types Homotopy Type Theory (3)
Mathematics Homotopy Type Theory (3)
Mathematics Hott (3)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.