Coqtail

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎2 ‎votos

Sobre Coqtail

Teoremas coq, abstrações e implementações (nível de solteiro) Coqtail é uma biblioteca de provas matemáticas usando o assistente à prova de Coq.