Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for proof assistant mltt
mltt
x
proof-assistant
x
3 search results found
Anders
⭐
14
🧊 Модальний Гомотопічний Прувер
Anders
⭐
13
Anders: Cubical Type Checker
Bravo
⭐
6
Castle Bravo: Experimental HoTT Implementation
Related Searches
Coq Proof Assistant (30)
Dependent Types Proof Assistant (24)
Ocaml Proof Assistant (19)
Haskell Proof Assistant (18)
Type Theory Proof Assistant (18)
Proof Assistant Cubical Type Theory (7)
Proof Assistant Theorem Prover (7)
Dependent Types Mltt (6)
Ocaml Mltt (4)
Typechecker Proof Assistant (4)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.