Starred repositories
14
stars
written in Agda
Clear filter
An introduction to programming language theory in Agda
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
An introductory course to Homotopy Type Theory
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Lecture notes on univalent foundations of mathematics with Agda
Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -> nat) in System T.
some "modernized" brouwerian mathematics, inspired by Hancock, Ghani & Pattinson