Приложения с тегом Доказательств

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

  • Verification
  • Mathematics
  • Safety
  • Proofs
  • Formal

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 альтернативы

  • Programming Language
  • Verification
  • Mathematics
  • Safety
  • Proofs

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 альтернативы

  • Mathematics
  • Safety
  • Proofs
  • Formal
  • Proof Assistant

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

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

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

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

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