6 results found Sort:

Experimental implementation of Cubical Type Theory
Created 2015-02-26
689 commits to master branch, last one about a year ago
139
459
other
26
An experimental library for Cubical Agda
Created 2018-10-15
2,089 commits to master branch, last one 9 days ago
The People's Refinement Logic
This repository has been archived (exclude archived)
Created 2016-01-05
1,013 commits to master branch, last one 5 years ago
16
219
apache-2.0
20
😎TT
Created 2019-12-20
609 commits to main branch, last one about a year ago
12
204
apache-2.0
25
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Created 2018-03-07
1,139 commits to master branch, last one 2 years ago
Ground Zero: Lean 4 HoTT Library
Created 2022-03-21
1,011 commits to master branch, last one about a month ago