Monthly Trending of Lean in GitHub Wed, 15 Jul 2026 01:57:45 GMT http://mshibanami.github.io/GitHubTrendingRSS https://github.com/leanprover/lean4 <p>Lean 4 programming language and theorem prover</p><hr> https://github.com/leanprover-community/mathlib4 <p>The math library of Lean 4</p><hr> https://github.com/leanprover-community/batteries <p>The "batteries included" extended library for the Lean programming language and theorem prover</p><hr> https://github.com/leanprover-community/LeanSearchClient <p>Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)</p><hr> https://github.com/leanprover-community/aesop <p>White-box automation for Lean 4</p><hr> https://github.com/leanprover/lean4-cli <p>A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.</p><hr> https://github.com/leanprover-community/ProofWidgets4 <p>Helper toolkit for creating your own Lean 4 UserWidgets</p><hr> https://github.com/leanprover-community/plausible <p style="color:#586069;"><em>No description/README provided.</em></p> https://github.com/leanprover-community/quote4 <p>Intuitive, type-safe expression quotations for Lean 4.</p><hr> https://github.com/leanprover-community/physlib <p>A project to digitalise results from physics into Lean.</p><hr> https://github.com/google-deepmind/formal-conjectures <p>A collection of formalized statements of conjectures in Lean.</p><hr> https://github.com/leanprover/cslib <p>The Lean Computer Science Library (CSLib)</p><hr> https://github.com/leanprover/doc-gen4 <p>Document Generator for Lean 4</p><hr>