⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content
@the1lab

The 1Lab

An experiment in discoverable formalisation.

Popular repositories Loading

  1. 1lab 1lab Public

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

    Agda 418 92

Repositories

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
    Agda 418 AGPL-3.0 92 29 (2 issues need help) 23 Updated Jan 28, 2026

Top languages

Agda

Most used topics

Loading…