Daily Trending Repositories of Lean on GitHub Mon, 17 Aug 2026 02:23:40 GMT https://mshibanami.github.io/GitHubTrendingRSS https://github.com/leanprover/lean4 <p>Lean 4 programming language and theorem prover</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://lean-lang.org">https://lean-lang.org</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/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>