Войти
Логотип Coq
2

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

для
Фильтр альтернатив по платформе
— Все платформы
Настольные ПК
— macOS • 3 — Windows • 2 — Linux • 2
с
Фильтр альтернатив по лицензии
сбросить фильтры
Логотип Agda
1

Использую

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
Windows
macOS
Логотип Isabelle
0

Использую

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
Windows
macOS

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

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

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

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

Сортировка альтернатив

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

Последняя активность

Посмотреть всю активность 1