rocq-prover/rocq
@rocq-proverThe Rocq Prover es un demostrador de teoremas interactivo o asistente de pruebas. Proporciona un lenguaje formal para escribir definiciones matemáticas, algoritmos ejecutables y teoremas, junto con un entorno para el desarrollo semiinteractivo de pruebas verificadas por máquina.
Estrellas
5562
Bifurcaciones
756
Lenguaje
OCaml
Licencia
LGPL-2.1
Último push
hace 5 días
Intel relacionado (0)
Aún no hay intel relacionado
Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.