Coq

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

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

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

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

  • Mathematics
  • Mathematical Notation

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 и многих других. Список альтернатив можно фильтровать по типу лицензии, платформе и тегам. Поддерживается сортировка по количеству пользователей которые уже используют альтернативу, или дате добавления приложения.

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

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