Coq

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 programming with proofs of...

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

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

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

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

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

  • Mathematical Notation
  • Mathematics

DragNMath offers a unique way to do calculations in an intuitive way. There is no need to learn any specific syntax, just drag and drop ! Its improved formula rendering …

Платно
macOS

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

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

Последнее обновление списка: 15 декабря 2014 г. 0:00

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