Ini adalah perintah coqtop.opt 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.opt - Tingkat atas Coq kode asli
RINGKASAN
coqopt.opt [ Pilihan ] [ fillet ]
DESKRIPSI
coqopt.opt adalah versi kode asli Coq. Seharusnya tidak dipanggil secara langsung, tetapi hanya
by coqtop dan coqc
Gunakan coqtop.opt online menggunakan layanan onworks.net