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

К сожалению альтернативы не найдены, попробуйте сбросить фильтры.

Знаете альтернативу Coq?

Добавьте её в этот список

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

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

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

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

Фильтр альтернатив по тегам

    Подходящих тегов не найдено