coquand

Pinned Repositories

Four-Color-Theorem-Maintenance
Fixed FCT proof for latest coq and ssreflect
Language:Verilog0 1 00
universe-polymorphism
Language:TeX5 4 10
synthetic-zariski
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
Language:TeX52 24 306
book
A textbook on informal homotopy type theory
Language:TeX2k 122 634360
poset-type-theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
Language:Haskell7 3 22
ParamTT
A parametric type-theory
Language:TeX0 9 01
cubicaltt
Experimental implementation of Cubical Type Theory
Language:Haskell572 45 6176
canonicity
Language:TeX1 2 00
cubical
Implementation of Univalence in Cubical Sets
Language:Haskell145 22 410
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.
Language:HTML397 37 16923

coquand/Four-Color-Theorem-Maintenance
Fixed FCT proof for latest coq and ssreflect
Language:Verilog0 1 00