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

Теги
mathematics, safety, proof-assistant, proofs, formal, formulas

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

К сожалению мы не нашли альтернативы этому приложению по вашим критериям :(

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

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

О сайте

Сервис SuggestUse поможет найти альтернативное программное обеспечение для вашего компьютера, мобильного телефона или планшета.

Основная идея заключается в том, что поиск производится по тем приложениям, которые требуется заменить, в результате получаете список альтернатив на основе рекомендаций зарегистрированных пользователей.

Когда сервис может быть полезен?

— Вы пересели с компьютера на котором установлен Windows, на OS X, но в Windows вы пользовались программой Total Commander которой для OS X не существует. Вы заходите на наш сервис, вводите в поиске TotalCommander для OS X и в результате получаете список альтернативных программ которые работают в системе Mac OS X.
— Вам надоела программа которая постоянно вылетает или зависает? Вы также просто можете найти ей альтернативу, введите ее название в поиске, и выберите вашу операционную систему.