Block or Report
Block or report solson
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Agda
Sort by: Most stars
2
stars
written in Agda
Clear filter
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory