Enviar software

Programas por coqtail.sf.net

  • Coqtail Livre

    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.