Ini ialah arahan coqtop.opt yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
coqtop.opt - Peringkat teratas Coq kod asli
SINOPSIS
coqopt.opt [ pilihan ] [ fail ]
DESCRIPTION
coqopt.opt ialah versi kod asli Coq. Ia tidak sepatutnya dipanggil secara langsung, tetapi hanya
by coqtop and coqc
Gunakan coqtop.opt dalam talian menggunakan perkhidmatan onworks.net
