Etiqueta del catálogo

#proof-assistant

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

4 registros

Con la etiqueta «proof-assistant»Ordenado por índice de salud

PyPI

67Buenoíndice de salud

AxiomMath/axiom-lean-engine

Lean evaluation and metaprogramming utilities for provers.

Python★ 137↓ 5215/mes19 jul 2026

MIT19 jul 2026 · métricas 2.10.0

—

65Buenoíndice de salud

PrincetonUniversity/VST

Verified Software Toolchain

Rocq Prover★ 50419 jul 2026

Licencia propia19 jul 2026 · métricas 2.10.0

Maven

65Buenoíndice de salud

aya-prover/aya-dev

A proof assistant and a dependently-typed language

Java★ 36018 jul 2026

MIT18 jul 2026 · métricas 2.10.0

npm · PyPI

32En riesgoíndice de salud

rzk-lang/rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Haskell★ 28528 jul 2026

Sin licencia28 jul 2026 · métricas 2.10.0