—
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
Apache-2.019. Okt. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#proof-assistant
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
7 Einträge
PyPI
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
MIT11. Sept. 2026 · Metriken 2.10.0
—
PrincetonUniversity/VST
Verified Software Toolchain
Eigene Lizenz11. Sept. 2026 · Metriken 2.10.0
PyPI
whonore/Coqtail
Interactive Coq Proofs in Vim
MIT19. Sept. 2026 · Metriken 2.10.0
Maven
aya-prover/aya-dev
A proof assistant and a dependently-typed language
MIT11. Sept. 2026 · Metriken 2.10.0
—
leanprover/Pantograph
(Mirror) A Machine-to-Machine Interaction System for Lean 4
Apache-2.020. Sept. 2026 · Metriken 2.10.0
npm · PyPI
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Keine Lizenz14. Sept. 2026 · Metriken 2.10.0