Это команда simpleify2why, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
почему - многоязычный инструмент проверки с несколькими программами проверки
СИНТАКСИС
почему [ кредита ] файлов
ОПИСАНИЕ
почему это инструмент проверки. Он принимает аннотированные программы в качестве входных данных (в синтаксисе ML или C) и
выводит условия проверки для нескольких помощников пруфа (Coq, PVS, HOL Light, Mizar)
и процедуры принятия решений (haRVey, Simplify).
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
-h Помощь. Дает вам полный список параметров командной строки.
АВТОРЫ
Жан-Кристоф Филлиатр <[электронная почта защищена]>
Используйте simpleify2why в Интернете с помощью сервисов onworks.net
