the1lab/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

AgdaStars 406Forks 85Watchers 406Open issues 50License GNU Affero General Public License v3.0

Details

仓库信息

Ownerthe1lab

Last pushed2025-12-11

Last updated2025-12-13

Issues fetched at—

Community at a glance