Ini adalah perintah coq_makefile 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
coq_makefile - Generator makefile Asisten Bukti Coq
RINGKASAN
coq_makefile [ argumen ]
DESKRIPSI
coq_makefile adalah generator makefile untuk pengembangan bukti Coq.
PILIHAN
-h Akan memberi Anda deskripsi seluruh daftar opsi coq_makefile.
Gunakan coq_makefile online menggunakan layanan onworks.net
