—
leanprover-community/mathlib4
The math library of Lean 4
Apache-2.02026年9月9日 · 指标 2.10.0
全部标签
目录标签
#lean4
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
23 条记录
npm
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Apache-2.02026年9月11日 · 指标 2.10.0
—
leanprover/lean4
Lean 4 programming language and theorem prover
Apache-2.02026年9月21日 · 指标 2.10.0
—
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
Apache-2.02026年10月19日 · 指标 2.10.0
PyPI · RubyGems
fpvandoorn/carleson
A formalized proof of Carleson's theorem in Lean
Apache-2.02026年9月19日 · 指标 2.10.0
PyPI
oOo0oOo/lean-lsp-mcp
Lean Theorem Prover MCP
MIT2026年10月19日 · 指标 2.10.0
—
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Apache-2.02026年9月11日 · 指标 2.10.0
npm
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Apache-2.02026年9月9日 · 指标 2.10.0
PyPI
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
MIT2026年9月11日 · 指标 2.10.0
PyPI
eic/EpsilonEridaniWorker
`epsiloneridani` keeps the EpsilonEridani Lean library moving, using a "bring your own agent" approach
Apache-2.02026年10月10日 · 指标 2.10.0
npm
leanprover-community/lean4web
Lean web editor
Apache-2.02026年10月18日 · 指标 2.10.0
—
leanprover/doc-gen4
Document Generator for Lean 4
Apache-2.02026年9月11日 · 指标 2.10.0
PyPI
alerad/lean-runtime
该仓库未发布描述。
Apache-2.02026年10月19日 · 指标 2.10.0
—
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
MIT2026年9月16日 · 指标 2.10.0
npm
midspiral/LemmaScript
verification toolchain for TypeScript (Tech Preview)
MIT2026年9月13日 · 指标 2.10.0
—
leanprover-community/aesop
White-box automation for Lean 4
Apache-2.02026年9月8日 · 指标 2.10.0
—
leanprover-community/import-graph
Tool to analyse the import structure of lean projects.
Apache-2.02026年9月10日 · 指标 2.10.0
—
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
MIT2026年9月10日 · 指标 2.10.0
—
leanprover-community/quote4
Intuitive, type-safe expression quotations for Lean 4.
Apache-2.02026年9月10日 · 指标 2.10.0
—
leanprover/Pantograph
(Mirror) A Machine-to-Machine Interaction System for Lean 4
Apache-2.02026年9月20日 · 指标 2.10.0
npm
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
MIT2026年9月17日 · 指标 2.10.0
—
dupuisf/BibtexQuery
A simple command-line bibtex query utility written in Lean 4
Apache-2.02026年9月9日 · 指标 2.10.0
npm · PyPI
sthamann/tfpt
Topological 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.
无许可证2026年9月12日 · 指标 2.10.0