Software
Abbiamo compilato una lista di 3 alternative gratuite e a pagamento a Agda. I principali concorrenti includono Isabelle, Coq. Inoltre, gli utenti fanno anche confronti tra Agda e F*. Puoi anche dare un'occhiata ad altre opzioni simili qui: Software di sviluppo, Linguaggi di programmazione.
Abbiamo compilato una lista di 3 alternative gratuite e a pagamento a Agda. I principali concorrenti includono Isabelle, Coq. Inoltre, gli utenti fanno anche confronti tra Agda e F*. Puoi anche dare un'occhiata ad altre opzioni simili qui: Software di sviluppo, Linguaggi di programmazione.
Isabelle è un assistente di prova per la scrittura e il controllo di prove matematiche al computer.
Coq è un assistente di prova, che ti permette di scrivere prove matematiche in modo rigoroso e formale ...
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
Agda è un linguaggio di programmazione funzionale tipicamente dipendente. Ha famiglie induttive, vale a dire
Linux
Mac
Windows
Agda è un linguaggio di programmazione funzionale tipicamente dipendente. Ha famiglie induttive, cioè tipi di dati che dipendono da valori, come il tipo di vettori di una determinata lunghezza. Ha anche moduli parametrizzati, operatori mixfix, caratteri Unicode e un'interfaccia Emacs interattiva che può aiutare il programmatore a scrivere il programma.
Agda è un assistente di prova. È un sistema interattivo per la scrittura e il controllo delle prove. Agda si basa sulla teoria del tipo intuizionista, un sistema di base per la matematica costruttiva sviluppato dal logico svedese Per Martin-Löf. Ha molte somiglianze con altri assistenti di prova basati su tipi dipendenti, come Coq, Epigram, Matita e NuPRL.
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?
