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