Тег каталогу

#theorem-proving

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

3 записи

З тегом «theorem-proving»Упорядковано за індексом здоров'я

PyPI

60Помірнийіндекс здоров'я

AxiomMath/axiom-lean-engine

Lean evaluation and metaprogramming utilities for provers.

Python★ 137↓ 5 215/міс19 лип. 2026 р.

MIT19 лип. 2026 р. · метрики 1.13.0

npm

53Помірнийіндекс здоров'я

SproutSeeds/erdos-problems

CLI and workspace for Paul Erdos problems.

JavaScript★ 1↓ 204/міс19 лип. 2026 р.

MIT19 лип. 2026 р. · метрики 1.13.0

—

19Критичнийіндекс здоров'я

leanprover/lean3

Lean Theorem Prover

C++ · Lean★ 2 15519 лип. 2026 р.

Apache-2.019 лип. 2026 р. · метрики 1.13.0