Isabelle
Главные вкладки
Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be expressed in a formal...
- Лицензия
-
Открытое ПО
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 для Chrome OS
Нашли какие-либо ошибки в информации о Isabelle? Может быть вы знаете альтернативу, которая еще не указана в списке? Вы можете редактировать информацию о Isabelle или предложить новые альтернативы.
Добавить отзывДобавить альтернативуИзменить информацию о приложенииПожаловаться