cameronfreer/lean4-skills

Lean 4 theorem proving skill and workflow pack for AI coding agents

Python483 stars48 forksMIT

Momentum

cameronfreer/lean4-skills has 483 GitHub stars.

It currently ranks #36566 daily, #36781 weekly, #5774 monthly by momentum on Trending Repos; its best-ever rank is #3928.

Trending Repos first recorded it on Sep 27, 2026.

Rankings

PeriodRankScore

Daily

#365660.0

Weekly

#367810.0

Monthly

#57740.4

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #3928

Format

Markdown

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

cameronfreer/lean4-skills

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

cameronfreer/lean4-skills

Momentum

Rankings

Engagement

Similar trending repositories

Embeds