Настольные ПК
Мобильные платформы
Планшеты
Разработка
Браузеры
Остальные
- Self Hosted • 239 ,
- Palm Pre • 107 ,
- Kindle Fire • 71 ,
- Safari • 69 ,
- Windows Explorer • 68 ,
- Haiku • 61 ,
- Wordpress • 51 ,
- Microsoft Office Outlook • 30 ,
- Adobe Photoshop • 23 ,
- Visual Studio • 23 ,
- Eclipse • 23 ,
- Mozilla Thunderbird • 22 ,
- Net Framework • 21 ,
- 3Ds Max • 18 ,
- Microsoft Excel • 16 ,
- Seamonkey • 14 ,
- Skype • 12 ,
- Wine • 10
Isabelle
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?
Добавьте её в этот списокЧто в этом списке?
Этот список содержит 2 альтернативы приложению Isabelle, для таких платформ как: macOS, Windows, Linux и многих других. Список альтернатив можно фильтровать по типу лицензии, платформе и тегам. Поддерживается сортировка по количеству пользователей которые уже используют альтернативу, или дате добавления приложения.
Последнее обновление списка: 20 февраля 2014 г. 10:36
Вы можете дополнить или изменить информациию о любом приложении на SuggestUse. За внесение любой информации вам будут начислены поинты.
Сортировка альтернатив
Фильтр альтернатив по тегам
-
Подходящих тегов не найдено
