Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by the1lab

A curated list of projects in awesome lists by the1lab .

https://github.com/the1lab/1lab

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

agda homotopy-type-theory

Last synced: 02 Aug 2024