Coq

Главные вкладки

Coq
2

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...

  • Mac
  • Windows
  • Linux
Лицензия
Открытое ПО
Официальный сайт

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...

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

Нашли какие-либо ошибки в информации о Coq? Может быть вы знаете альтернативу, которая еще не указана в списке? Вы можете редактировать информацию о Coq или предложить новые альтернативы.

Добавить отзывДобавить альтернативуИзменить информацию о приложенииПожаловаться