Monthly Trending of Lean in GitHub Sat, 18 Apr 2026 01:52:53 GMT http://mshibanami.github.io/GitHubTrendingRSS https://github.com/leanprover-community/mathlib4 <p>The math library of Lean 4</p><hr> https://github.com/leanprover/lean4 <p>Lean 4 programming language and theorem prover</p><hr> https://github.com/leanprover-community/aesop <p>White-box automation for Lean 4</p><hr> https://github.com/leanprover-community/quote4 <p>Intuitive, type-safe expression quotations for Lean 4.</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/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/plausible <p style="color:#586069;"><em>No description/README provided.</em></p>