◐ Shell
clean mode source ↗

The 1Lab

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

@the1lab

Popular repositories Loading

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

    Agda 434 93

Repositories

Type
Select type

Language
Sort
Select order

Showing 1 of 1 repositories

  • 1lab Public

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

    the1lab/1lab’s past year of commit activity

Most used topics

Loading…