Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for dependent types homotopy type theory
dependent-types
x
homotopy-type-theory
x
3 search results found
Hott Uf Agda Lecture Notes
⭐
204
Lecture notes on univalent foundations of mathematics with Agda
Anders
⭐
13
Anders: Cubical Type Checker
Bravo
⭐
6
Castle Bravo: Experimental HoTT Implementation
Related Searches
Haskell Dependent Types (62)
Programming Language Dependent Types (38)
Dependent Types Type Theory (29)
Functional Programming Dependent Types (28)
Coq Dependent Types (28)
Agda Dependent Types (27)
Dependent Types Proof Assistant (21)
Ocaml Dependent Types (18)
Dependent Types Typechecker (12)
Agda Homotopy Type Theory (9)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.