Ini adalah perintah coqc 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
coqc - Kompiler Asisten Bukti Coq
RINGKASAN
coqc [ umum kokang Pilihan ] fillet
DESKRIPSI
coqc adalah kompiler batch untuk Coq Proof Assistant. Pilihannya pada dasarnya adalah
sama seperti coqtop(1). file.v adalah file vernakular untuk dikompilasi. fillet harus dibentuk saja
dengan karakter `a` hingga `Z`, `0`-`9` atau `_` dan harus dimulai dengan huruf. NS
kompiler menghasilkan file objek file.vo.
Untuk penggunaan Coq secara interaktif, lihat coqtop(1).
PILIHAN
coqc adalah skrip yang hanya berjalan coqtop dengan pilihan -menyusun itu menerima opsi yang sama
as coqtop
-gambar bin
menggunakan bin sebagai dasar coqtop bukannya yang default.
-verbose
cetak file yang dikompilasi pada output standar.
Gunakan coqc online menggunakan layanan onworks.net