Coqtail

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎2 ‎Votos

Sobre Coqtail

Teoremas, Abstrações e Implementações do COQ (nível de bacharel) Coqtail é uma biblioteca de provas matemáticas usando o assistente de prova coq.