the1lab/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
444 stars97forks22issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
24 of 34outside PRs merged (71%)
checked