Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

the1lab

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
@the1lab

The 1Lab

An experiment in discoverable formalisation.

Popular repositoriesLoading

  1. 1lab1labPublic

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

    Agda 363 71

Repositories

Loading
Type
Select type
Language
Select 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
    Agda 363AGPL-3.0 71 25(2 issues need help) 15 UpdatedMar 17, 2025

Top languages

Loading…

Most used topics

Loading…

[8]ページ先頭
©2009-2025 Movatter.jp