Daily Trending of Lean in GitHub Sun, 17 May 2026 01:38:19 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/plausible <p style="color:#586069;"><em>No description/README provided.</em></p> https://github.com/leanprover-community/aesop <p>White-box automation for Lean 4</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/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/google-deepmind/formal-conjectures <p>A collection of formalized statements of conjectures in Lean.</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/cslib <p>The Lean Computer Science Library (CSLib)</p><hr>