Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types univalence
types
x
univalence
x
2 search results found
Hott Agda
⭐
319
Development of homotopy type theory in Agda
Hott Intro
⭐
169
An introductory course to Homotopy Type Theory
Agda
⭐
92
Agda formalisation of the Introduction to Homotopy Type Theory
Univalence From Scratch
⭐
15
Univalence from scratch in Idris
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
Json Types (1,128)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.