Agda

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 also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interfa...

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

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

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

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

  • 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 …

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

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

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

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

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