Weekly Trending Repositories of Lean on GitHub Sun, 11 Oct 2026 06:47:13 GMT https://mshibanami.github.io/GitHubTrendingRSS https://github.com/anthropics/formal-math <p style="color:#586069;"><em>No description/README provided.</em></p> https://github.com/leanprover/cslib <p>The Lean Computer Science Library (CSLib)</p><p><img src="https://mshibanami.github.io/GitHubTrendingRSS/assets/icons/link.png" width="20" height="20" alt="link" style="margin: 0 8px 0 0; padding: 0; display: inline-block; vertical-align: middle;" /><a href="https://www.cslib.io/">https://www.cslib.io/</a></p><hr> https://github.com/leanprover-community/physlib <p>A project to digitalise results from physics into Lean.</p><p><img src="https://mshibanami.github.io/GitHubTrendingRSS/assets/icons/link.png" width="20" height="20" alt="link" style="margin: 0 8px 0 0; padding: 0; display: inline-block; vertical-align: middle;" /><a href="https://physlib.io">https://physlib.io</a></p><hr> https://github.com/leanprover-community/mathlib3 <p>Lean 3's obsolete mathematical components library: please use mathlib4</p><p><img src="https://mshibanami.github.io/GitHubTrendingRSS/assets/icons/link.png" width="20" height="20" alt="link" style="margin: 0 8px 0 0; padding: 0; display: inline-block; vertical-align: middle;" /><a href="https://leanprover-community.github.io/lean3">https://leanprover-community.github.io/lean3</a></p><hr> https://github.com/leanprover/comparator <p style="color:#586069;"><em>No description/README provided.</em></p> https://github.com/google-deepmind/formal-conjectures <p>A collection of formalized statements of conjectures in Lean.</p><p><img src="https://mshibanami.github.io/GitHubTrendingRSS/assets/icons/link.png" width="20" height="20" alt="link" style="margin: 0 8px 0 0; padding: 0; display: inline-block; vertical-align: middle;" /><a href="https://google-deepmind.github.io/formal-conjectures/">https://google-deepmind.github.io/formal-conjectures/</a></p><hr> https://github.com/ImperialCollegeLondon/FLT <p>Ongoing Lean formalisation of the proof of Fermat's Last Theorem</p><p><img src="https://mshibanami.github.io/GitHubTrendingRSS/assets/icons/link.png" width="20" height="20" alt="link" style="margin: 0 8px 0 0; padding: 0; display: inline-block; vertical-align: middle;" /><a href="https://imperialcollegelondon.github.io/FLT/">https://imperialcollegelondon.github.io/FLT/</a></p><hr> https://github.com/leanprover-community/mathlib4 <p>The math library of Lean 4</p><p><img src="https://mshibanami.github.io/GitHubTrendingRSS/assets/icons/link.png" width="20" height="20" alt="link" style="margin: 0 8px 0 0; padding: 0; display: inline-block; vertical-align: middle;" /><a href="https://leanprover-community.github.io/mathlib4_docs">https://leanprover-community.github.io/mathlib4_docs</a></p><hr>