Software
Abbiamo compilato una lista di 3 alternative gratuite e a pagamento a Coq. I principali concorrenti includono Isabelle, F*. Inoltre, gli utenti fanno anche confronti tra Coq e Agda. Puoi anche dare un'occhiata ad altre opzioni simili qui: Software per l'educazione e il riferimento.
Abbiamo compilato una lista di 3 alternative gratuite e a pagamento a Coq. I principali concorrenti includono Isabelle, F*. Inoltre, gli utenti fanno anche confronti tra Coq e Agda. Puoi anche dare un'occhiata ad altre opzioni simili qui: Software per l'educazione e il riferimento.
Isabelle è un assistente di prova per la scrittura e il controllo di prove matematiche al computer.
F * è un linguaggio di programmazione funzionale tipo ML finalizzato alla verifica del programma.
Agda è un linguaggio di programmazione funzionale tipicamente dipendente. Ha famiglie induttive, vale a dire
Coq è un assistente di prova, che ti permette di scrivere prove matematiche in modo rigoroso e formale ...
Coq è un assistente di prova, che ti permette di scrivere prove matematiche in modo rigoroso e formale ...
Linux
Mac
Windows
Coq è un assistente di prova, che consente di scrivere prove matematiche in modo rigoroso e formale e di controllarne la correttezza da parte del computer. Consente inoltre la programmazione con prove di correttezza per il codice e tipi dipendenti.
Condividi la tua opinione sul software, lascia una recensione e contribuisci a migliorarlo ulteriormente!
Suggerisci modifiche
Il tuo feedback
Your vote has been counted.
Do you have experience using this software?
