Ini adalah perintah caduceus yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
mengapa - Alat verifikasi multi-bahasa multi-prover
RINGKASAN
mengapa [ Pilihan ] arsip
DESKRIPSI
mengapa adalah alat verifikasi. Dibutuhkan program beranotasi sebagai input (dalam sintaks ML atau C) dan
keluaran kondisi verifikasi untuk beberapa asisten bukti (Coq, PVS, HOL Light, Mizar)
dan prosedur keputusan (haRVey, Simplify).
PILIHAN
-h Membantu. Akan memberi Anda daftar lengkap opsi baris perintah.
PENULIS
Jean-Christophe Filiater <[email dilindungi]>
Gunakan caduceus online menggunakan layanan onworks.net
