Ini adalah perintah coqtop.byte 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
coqtop.byte - bytecode Coq tingkat atas
RINGKASAN
coqtop.byte [ Pilihan ] [ fillet ]
DESKRIPSI
coqopt.byte adalah versi bytecode dari Coq. Itu tidak boleh dipanggil secara langsung, tetapi hanya dengan
coqtop dan coqc
Gunakan coqtop.byte online menggunakan layanan onworks.net