Pinned Repositories
Four-Color-Theorem-Maintenance
Fixed FCT proof for latest coq and ssreflect
universe-polymorphism
synthetic-zariski
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
book
A textbook on informal homotopy type theory
poset-type-theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
ParamTT
A parametric type-theory
cubicaltt
Experimental implementation of Cubical Type Theory
canonicity
cubical
Implementation of Univalence in Cubical Sets
SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
coquand's Repositories
coquand/Four-Color-Theorem-Maintenance
Fixed FCT proof for latest coq and ssreflect