Программное обеспечение
Мы составили список из 3 бесплатных и платных аналогов Agda. Основные конкуренты: Isabelle, Coq. Кроме того, пользователи также проводят сравнения между Agda и F*. Также вы можете рассмотреть другие аналогичные варианты здесь: Программное обеспечение для разработчиков, Языки программирования.
Мы составили список из 3 бесплатных и платных аналогов Agda. Основные конкуренты: Isabelle, Coq. Кроме того, пользователи также проводят сравнения между Agda и F*. Также вы можете рассмотреть другие аналогичные варианты здесь: Программное обеспечение для разработчиков, Языки программирования.
Изабель - помощник для написания и проверки математических доказательств с помощью компьютера.
Coq является помощником по доказательствам, который позволяет вам писать математические доказательства в строгой и формальной форме ...
F * - это ML-подобный функциональный язык программирования, предназначенный для верификации программы.
Agda - это типизированный язык программирования с зависимой типизацией. Имеет индуктивные семьи, т.е.
Agda - это типизированный язык программирования с зависимой типизацией. Имеет индуктивные семьи, т.е.
Linux
Mac
Windows
Agda - это типизированный язык программирования с зависимой типизацией. Он имеет индуктивные семейства, т. Е. Типы данных, которые зависят от значений, таких как тип векторов заданной длины. Он также имеет параметризованные модули, операторы mixfix, символы Unicode и интерактивный интерфейс Emacs, который может помочь программисту в написании программы.
Агда является доказательством помощника. Это интерактивная система для написания и проверки доказательств. Agda основана на интуиционистской теории типов, основополагающей системе конструктивной математики, разработанной шведским логиком Пером Мартином-Лёфом. Он имеет много общего с другими помощниками по доказательству, основанными на зависимых типах, таких как Coq, Epigram, Matita и NuPRL.
Поделитесь своим мнением о программном обеспечении, оставьте отзыв и помогите сделать его еще лучше!
Предложить изменения
Ваш отзыв
Your vote has been counted.
Do you have experience using this software?
