Software
Hemos compilado una lista de 3 alternativas gratuitas y de pago para Agda. Los principales competidores incluyen Isabelle, Coq. Además de estos, los usuarios también realizan comparaciones entre Agda y F*. También puedes echar un vistazo a otras opciones similares aquí: Software de Desarrollo, Lenguajes de Programación.
Hemos compilado una lista de 3 alternativas gratuitas y de pago para Agda. Los principales competidores incluyen Isabelle, Coq. Además de estos, los usuarios también realizan comparaciones entre Agda y F*. También puedes echar un vistazo a otras opciones similares aquí: Software de Desarrollo, Lenguajes de Programación.
Isabelle es una asistente de pruebas para escribir y verificar pruebas matemáticas por computadora.
Coq es un asistente de pruebas, que le permite escribir pruebas matemáticas de forma rigurosa y formal ...
F * es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.
Agda es un lenguaje de programación funcional de tipo dependiente. Tiene familias inductivas, es decir
Agda es un lenguaje de programación funcional de tipo dependiente. Tiene familias inductivas, es decir
Linux
Mac
Windows
Agda es un lenguaje de programación funcional de tipo dependiente. Tiene familias inductivas, es decir, tipos de datos que dependen de valores, como el tipo de vectores de una longitud dada. También tiene módulos parametrizados, operadores mixfix, caracteres Unicode y una interfaz interactiva Emacs que puede ayudar al programador a escribir el programa.
Agda es una asistente de pruebas. Es un sistema interactivo para escribir y verificar pruebas. Agda se basa en la teoría del tipo intuicionista, un sistema fundamental para las matemáticas constructivas desarrollado por el lógico sueco Per Martin-Löf. Tiene muchas similitudes con otros asistentes de pruebas basados en tipos dependientes, como Coq, Epigram, Matita y NuPRL.
¡Comparte tu opinión sobre el software, deja una reseña y ayuda a mejorarlo aún más!
Sugerir cambios
Tus comentarios
Your vote has been counted.
Do you have experience using this software?
