Coqtail

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎2 ‎Voti

Coqtail è una libreria di dimostrazioni matematiche che utilizza l'assistente di dimostrazione Coq.

cronologia delle versioni

  • Versione files pubblicato il 2010-04-07
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2010-04-07

Dettagli del programma