Isabelle

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

Isabelle
0

Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be expressed in a formal...

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

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 formulas in a...

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

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

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