6 results found Sort:
- Filter by Primary Language:
- OCaml (2)
- Agda (1)
- Haskell (1)
- Lean (1)
- Standard ML (1)
- +
Experimental implementation of Cubical Type Theory
Created
2015-02-26
689 commits to master branch, last one about a year ago
An experimental library for Cubical Agda
Created
2018-10-15
2,088 commits to master branch, last one 13 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
😎TT
Created
2019-12-20
609 commits to main branch, last one about a year ago
"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 20 days ago