avigad/mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

Lean198 stars105 forksApache-2.0

Momentum

avigad/mathematics_in_lean_source has 198 GitHub stars.

It currently ranks #21003 daily, #21747 weekly, #24271 monthly by momentum on Trending Repos; its best-ever rank is #1988.

Trending Repos first recorded it on May 26, 2026.

Rankings

PeriodRankScore

Daily

#210030.0

Weekly

#217470.0

Monthly

#242710.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #1988

Format

Markdown

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

avigad/mathematics_in_lean_source

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

avigad/mathematics_in_lean_source

Momentum

Rankings

Engagement

Similar trending repositories

Embeds