Stars
4
stars
written in Agda
Clear filter
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
The Agda Universal Algebra Library (html docs available at the url below)