Lists (6)
Starred repositories
6
stars
written in Agda
Clear filter
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Lecture notes on univalent foundations of mathematics with Agda
A Logical Relation for Martin-Löf Type Theory in Agda
Formal specifications of the Cardano ledger
A formalization of Constructive Projective Geometry in Agda