Ini ialah arahan coqtop.byte 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.byte - Bytecode Coq peringkat atas
SINOPSIS
coqtop.bait [ pilihan ] [ fail ]
DESCRIPTION
coqopt.byte ialah versi bytecode Coq. Ia tidak sepatutnya dipanggil secara langsung, tetapi hanya oleh
coqtop and coqc
Gunakan coqtop.byte dalam talian menggunakan perkhidmatan onworks.net