—82良好健康指数leanprover-community/mathlib4The math library of Lean 4Lean★ 3,6012026年7月16日Apache-2.02026年7月16日 · 指标 1.13.0
npm72良好健康指数google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.Lean★ 1,0532026年7月19日Apache-2.02026年7月19日 · 指标 1.13.0
—68中等健康指数leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem proverLean★ 4062026年7月17日Apache-2.02026年7月17日 · 指标 1.13.0
—68中等健康指数leanprover/std4The "batteries included" extended library for the Lean programming language and theorem proverLean★ 4072026年7月18日Apache-2.02026年7月18日 · 指标 1.13.0
npm64中等健康指数leanprover-community/proofwidgets4Helper toolkit for creating your own Lean 4 UserWidgetsLean · TypeScript★ 216↓ 13/月2026年7月17日Apache-2.02026年7月17日 · 指标 1.13.0
—64中等健康指数leanprover/doc-gen4Document Generator for Lean 4Lean · Python★ 1612026年7月19日Apache-2.02026年7月19日 · 指标 1.13.0
PyPI60中等健康指数AxiomMath/axiom-lean-engineLean evaluation and metaprogramming utilities for provers.Python★ 137↓ 5,215/月2026年7月19日MIT2026年7月19日 · 指标 1.13.0
—60中等健康指数leanprover-community/aesopWhite-box automation for Lean 4Lean★ 3802026年7月15日Apache-2.02026年7月15日 · 指标 1.13.0
—59中等健康指数leanprover/lean4-cliA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.Lean★ 1132026年7月17日MIT2026年7月17日 · 指标 1.13.0
—57中等健康指数leanprover-community/quote4Intuitive, type-safe expression quotations for Lean 4.Lean★ 1112026年7月17日Apache-2.02026年7月17日 · 指标 1.13.0
—56中等健康指数leanprover-community/import-graphTool to analyse the import structure of lean projects.Lean · HTML★ 222026年7月17日Apache-2.02026年7月17日 · 指标 1.13.0
—51中等健康指数dupuisf/bibtexqueryA simple command-line bibtex query utility written in Lean 4Lean★ 112026年7月17日Apache-2.02026年7月17日 · 指标 1.13.0
npm · PyPI41存在风险健康指数sthamann/tfptTopological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.Python · TeX · TypeScript★ 7152026年7月21日无许可证2026年7月21日 · 指标 1.13.0