Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for theorem prover hott
hott
x
theorem-prover
x
2 search results found
Anders
⭐
13
Anders: Cubical Type Checker
Bravo
⭐
6
Castle Bravo: Experimental HoTT Implementation
Related Searches
First Order Logic Theorem Prover (9)
Dependent Types Theorem Prover (7)
Proof Assistant Theorem Prover (6)
Python Theorem Prover (6)
Haskell Theorem Prover (6)
Type Theory Theorem Prover (5)
Scala Theorem Prover (5)
Prolog Theorem Prover (5)
Language Theorem Prover (5)
Agda Hott (4)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.