leanprover-community/iris-lean

Momentum

leanprover-community/iris-lean has 200 GitHub stars. It gained +3 stars over 3 recorded days in the last 7 days and +4 over 11 recorded days in the last 30 days (snapshots through Jul 10, 2026).

Its biggest recent day was Jul 7, 2026, with +2 stars.

It currently ranks #25661 daily, #26240 weekly, #28324 monthly by momentum on Trending Repos; its best-ever rank is #2507.

Trending Repos first recorded it on May 23, 2026.