—
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
Apache-2.0Oct 19, 2026 · metrics 2.10.0
All tags
Catalogue tag
#proof-assistant
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
7 records
PyPI
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
MITSep 11, 2026 · metrics 2.10.0
—
PrincetonUniversity/VST
Verified Software Toolchain
Custom licenseSep 11, 2026 · metrics 2.10.0
PyPI
whonore/Coqtail
Interactive Coq Proofs in Vim
MITSep 19, 2026 · metrics 2.10.0
Maven
aya-prover/aya-dev
A proof assistant and a dependently-typed language
MITSep 11, 2026 · metrics 2.10.0
—
leanprover/Pantograph
(Mirror) A Machine-to-Machine Interaction System for Lean 4
Apache-2.0Sep 20, 2026 · metrics 2.10.0
npm · PyPI
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
No licenseSep 14, 2026 · metrics 2.10.0