—
leanprover-community/mathlib4
The math library of Lean 4
Apache-2.016 лип. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#lean4
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
17 записів
npm
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Apache-2.019 лип. 2026 р. · метрики 2.10.0
—
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Apache-2.017 лип. 2026 р. · метрики 2.10.0
—
leanprover/std4
The "batteries included" extended library for the Lean programming language and theorem prover
Apache-2.018 лип. 2026 р. · метрики 2.10.0
npm
leanprover-community/proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Apache-2.017 лип. 2026 р. · метрики 2.10.0
—
leanprover/doc-gen4
Document Generator for Lean 4
Apache-2.019 лип. 2026 р. · метрики 2.10.0
PyPI
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
MIT19 лип. 2026 р. · метрики 2.10.0
—
leanprover-community/aesop
White-box automation for Lean 4
Apache-2.015 лип. 2026 р. · метрики 2.10.0
—
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
MIT17 лип. 2026 р. · метрики 2.10.0
npm
midspiral/LemmaScript
verification toolchain for TypeScript (Tech Preview)
MIT25 лип. 2026 р. · метрики 2.10.0
—
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
MIT4 серп. 2026 р. · метрики 2.10.0
—
leanprover-community/quote4
Intuitive, type-safe expression quotations for Lean 4.
Apache-2.017 лип. 2026 р. · метрики 2.10.0
—
leanprover-community/import-graph
Tool to analyse the import structure of lean projects.
Apache-2.017 лип. 2026 р. · метрики 2.10.0
PyPI
alerad/lean-runtime
Опис репозиторію не опубліковано.
Apache-2.017 серп. 2026 р. · метрики 2.10.0
npm
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
MIT5 серп. 2026 р. · метрики 2.10.0
—
dupuisf/bibtexquery
A simple command-line bibtex query utility written in Lean 4
Apache-2.017 лип. 2026 р. · метрики 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.
Без ліцензії21 лип. 2026 р. · метрики 2.10.0