Releases · carlosorochi/coq

Coq é um sistema formal de gerenciamento de provas. Ele fornece uma linguagem formal para escrever definições matemáticas, algoritmos executáveis e teoremas, juntamente com um ambiente para o desenvolvimento semi-interativo de provas verificadas por máquinas.