leanprover-community/batteries

GitHub

The "batteries included" extended library for the Lean programming language and theorem prover

Lean428 stars171 forksApache-2.0

lean lean4

Momentum

leanprover-community/batteries has 428 GitHub stars.

It currently ranks #26782 daily, #27323 weekly, #7167 monthly by momentum on Trending Repos; its best-ever rank is #662.

Trending Repos first recorded it on May 15, 2026.

Rankings

PeriodRankScore

Daily

#267820.0

Weekly

#273230.0

Monthly

#71670.2

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #662

Format

Markdown

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

leanprover-community/batteries

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

leanprover-community/batteries

Momentum

Rankings

Engagement

Similar trending repositories

Embeds