Propietario · rocq-prover
rocq-prover
Repositorios de código abierto monitorizados de rocq-prover, ordenados por estrellas.
1 repositorio
- #1
The 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.
★ 5562+4Variación de estrellas de los últimos 7 días
