Stars
1
star
written in Agda
Clear filter
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory