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

#proof-assistant

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

4 записи
З тегом «proof-assistant»Упорядковано за індексом здоров'я
PyPI
67Добрийіндекс здоров'я
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5 215/міс19 лип. 2026 р.
MIT19 лип. 2026 р. · метрики 2.10.0
—
65Добрийіндекс здоров'я
PrincetonUniversity/VST
Verified Software Toolchain
Rocq Prover★ 50419 лип. 2026 р.
Власна ліцензія19 лип. 2026 р. · метрики 2.10.0
Maven
65Добрийіндекс здоров'я
aya-prover/aya-dev
A proof assistant and a dependently-typed language
Java★ 36018 лип. 2026 р.
MIT18 лип. 2026 р. · метрики 2.10.0
npm · PyPI
32У зоні ризикуіндекс здоров'я
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Haskell★ 28528 лип. 2026 р.
Без ліцензії28 лип. 2026 р. · метрики 2.10.0