Coq

Coq

Coq es un asistente de pruebas, que le permite escribir pruebas matemáticas de una manera rigurosa y formal, y hacer que la computadora verifique su corrección.
Coq es un asistente de pruebas, que le permite escribir pruebas matemáticas de manera rigurosa y formal, y hacer que la computadora verifique su corrección.También permite la programación con pruebas de corrección para el código y los tipos dependientes.
coq

Sitio web:

Categorias

Alternativas a Coq para todas las plataformas con licencia de código abierto