Усі теги
Тег каталогу

#lean4

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

13 записів
З тегом «lean4»Упорядковано за індексом здоров'я
—
82Добрийіндекс здоров'я
leanprover-community/mathlib4
The math library of Lean 4
Lean★ 3 60116 лип. 2026 р.
Apache-2.016 лип. 2026 р. · метрики 1.13.0
npm
72Добрийіндекс здоров'я
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Lean★ 1 05319 лип. 2026 р.
Apache-2.019 лип. 2026 р. · метрики 1.13.0
—
68Помірнийіндекс здоров'я
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40617 лип. 2026 р.
Apache-2.017 лип. 2026 р. · метрики 1.13.0
—
68Помірнийіндекс здоров'я
leanprover/std4
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40718 лип. 2026 р.
Apache-2.018 лип. 2026 р. · метрики 1.13.0
npm
64Помірнийіндекс здоров'я
leanprover-community/proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Lean · TypeScript★ 216↓ 13/міс17 лип. 2026 р.
Apache-2.017 лип. 2026 р. · метрики 1.13.0
—
64Помірнийіндекс здоров'я
leanprover/doc-gen4
Document Generator for Lean 4
Lean · Python★ 16119 лип. 2026 р.
Apache-2.019 лип. 2026 р. · метрики 1.13.0
PyPI
60Помірнийіндекс здоров'я
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5 215/міс19 лип. 2026 р.
MIT19 лип. 2026 р. · метрики 1.13.0
—
60Помірнийіндекс здоров'я
leanprover-community/aesop
White-box automation for Lean 4
Lean★ 38015 лип. 2026 р.
Apache-2.015 лип. 2026 р. · метрики 1.13.0
—
59Помірнийіндекс здоров'я
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean★ 11317 лип. 2026 р.
MIT17 лип. 2026 р. · метрики 1.13.0
—
57Помірнийіндекс здоров'я
leanprover-community/quote4
Intuitive, type-safe expression quotations for Lean 4.
Lean★ 11117 лип. 2026 р.
Apache-2.017 лип. 2026 р. · метрики 1.13.0
—
56Помірнийіндекс здоров'я
leanprover-community/import-graph
Tool to analyse the import structure of lean projects.
Lean · HTML★ 2217 лип. 2026 р.
Apache-2.017 лип. 2026 р. · метрики 1.13.0
—
51Помірнийіндекс здоров'я
dupuisf/bibtexquery
A simple command-line bibtex query utility written in Lean 4
Lean★ 1117 лип. 2026 р.
Apache-2.017 лип. 2026 р. · метрики 1.13.0
npm · PyPI
41У зоні ризикуіндекс здоров'я
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.
Python · TeX · TypeScript★ 71521 лип. 2026 р.
Без ліцензії21 лип. 2026 р. · метрики 1.13.0