Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for dependent types mltt
dependent-types
x
mltt
x
4 search results found
Hott Uf Agda Lecture Notes
⭐
204
Lecture notes on univalent foundations of mathematics with Agda
Anders
⭐
14
🧊 Модальний Гомотопічний Прувер
Anders
⭐
13
Anders: Cubical Type Checker
Bravo
⭐
6
Castle Bravo: Experimental HoTT Implementation
Related Searches
Haskell Dependent Types (62)
Dependent Types Type Theory (28)
Agda Dependent Types (27)
Dependent Types Proof Assistant (19)
Ocaml Dependent Types (18)
Dependent Types Typechecker (12)
Type System Dependent Types (11)
Lambda Functions Dependent Types (9)
Dependent Types Theorem Prover (7)
Ocaml Mltt (4)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.