plclub/sf-in-lean

Development repo for translating Software Foundations to Lean

Rocq Prover199 stars57 forksApache-2.0

Momentum

plclub/sf-in-lean has 199 GitHub stars. It gained +3 stars over 2 recorded days in the last 7 days (snapshots through Nov 2, 2026).

Its biggest recent day was Oct 28, 2026, with +2 stars.

It currently ranks #40715 daily, #40806 weekly, #41617 monthly by momentum on Trending Repos; its best-ever rank is #5336.

Trending Repos first recorded it on Oct 13, 2026.

Rankings

PeriodRankScore

Daily

#407150.0

Weekly

#408060.0

Monthly

#416170.0

How scoring works

Engagement

Total stars

Daily new stars

Recent daily star gains
Date	Stars gained	Total stars	Forks gained
Oct 31, 2026	+1	198	+1
Oct 28, 2026	+2	196	+3

Embeds

Best rank #5336

Format

Markdown

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