10 results found Sort:

195
1.3k
other
60
A Coq library for Homotopy Type Theory
Created 2011-03-26
6,907 commits to master branch, last one a day ago
Experimental implementation of Cubical Type Theory
Created 2015-02-26
689 commits to master branch, last one about a year ago
71
354
agpl-3.0
13
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Created 2021-12-05
866 commits to main branch, last one 6 days ago
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Created 2018-02-05
4,661 commits to master branch, last one 7 hours ago
14
221
apache-2.0
20
😎TT
Created 2019-12-20
609 commits to main branch, last one about a year ago
10
216
unknown
11
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Created 2020-11-26
800 commits to develop branch, last one 2 months ago
4
124
gpl-3.0
11
Agda formalisation of the Introduction to Homotopy Type Theory
Created 2020-07-28
545 commits to master branch, last one 3 years ago
Ground Zero: Lean 4 HoTT Library
Created 2022-03-21
1,013 commits to master branch, last one about a month ago