the1lab/1lab

GitHub

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

Agda439 stars96 forksAGPL-3.0

agda homotopy-type-theory

Momentum

the1lab/1lab has 439 GitHub stars.

It currently ranks #24994 daily, #25597 weekly, #27746 monthly by momentum on Trending Repos; its best-ever rank is #5401.

Rankings

PeriodRankScore

Daily

#249940.0

Weekly

#255970.0

Monthly

#277460.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #5401

Format

Markdown

[![the1lab/1lab badge](https://trending-repos.com/badge/the1lab/1lab.svg?v=3)](https://trending-repos.com/repositories/the1lab/1lab?utm_source=github&utm_medium=badge)