АнглийскийФранцузскийИспанский

Запустить серверы | Ubuntu > | Fedora > |


Значок OnWorks

why2html - Интернет в облаке

Запустите why2html в бесплатном хостинг-провайдере OnWorks через Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS

Это команда why2html, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.

ПРОГРАММА:

ИМЯ


почему - многоязычный инструмент проверки с несколькими программами проверки

СИНТАКСИС


зачем [ опционы ] файлов

ОПИСАНИЕ


зачем это инструмент проверки. Он принимает аннотированные программы в качестве входных данных (в синтаксисе ML или C) и
выводит условия проверки для нескольких помощников пруфа (Coq, PVS, HOL Light, Mizar)
и процедуры принятия решений (haRVey, Simplify).

ОПЦИИ


-h Помощь. Дает вам полный список параметров командной строки.

АВТОРЫ


Жан-Кристоф Филлиатр <filliatr@lri.fr>

Используйте why2html в Интернете с помощью сервисов onworks.net


Ad


Ad