research
∙
07/05/2018
The RedPRL Proof Assistant (Invited Paper)
RedPRL is an experimental proof assistant based on Cartesian cubical com...
share
research
∙
02/06/2018
Cellular Cohomology in Homotopy Type Theory
We present a development of cellular cohomology in homotopy type theory....
research
∙
12/05/2017
