—
leanprover-community/physlib
A project to digitalise results from physics into Lean.
Apache-2.04 вер. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#theorem-proving
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
5 записів
PyPI
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
MIT19 лип. 2026 р. · метрики 2.10.0
—
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
MIT4 серп. 2026 р. · метрики 2.10.0
npm
SproutSeeds/erdos-problems
CLI and workspace for Paul Erdos problems.
MIT19 лип. 2026 р. · метрики 2.10.0
—
leanprover/lean3
Lean Theorem Prover
Apache-2.019 лип. 2026 р. · метрики 2.10.0