Isabelle

Proofs Formal Proof Assistant Mathematics Formulas

Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a...

Открытое ПO Linux macOS Windows

Альтернативы приложению Isabelle

Coq 3 альтернативы

  • Verification
  • Proofs
  • Formal
  • Mathematics
  • Safety

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer. It also allows …

Открытое ПO
Linux
macOS
Windows

Agda 2 альтернативы

  • Verification
  • Programming Language
  • Proofs
  • Formal
  • Proof Assistant

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It …

Открытое ПO
Linux
macOS
Windows

Что в этом списке?

Этот список содержит 2 альтернативы приложению Isabelle, для таких платформ как: Windows, macOS, Linux и многих других. Список альтернатив можно фильтровать по типу лицензии, платформе и тегам. Поддерживается сортировка по количеству пользователей которые уже используют альтернативу, или дате добавления приложения.

Последнее обновление списка: 20 февраля 2014 г. 10:36

Вы можете дополнить или изменить информациию о любом приложении на SuggestUse. За внесение любой информации вам будут начислены поинты.