Ini ialah arahan coq_makefile 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
coq_makefile - Pembantu Coq Proof makefile generator
SINOPSIS
coq_makefile [ hujah ]
DESCRIPTION
coq_makefile ialah penjana makefile untuk pembangunan kalis Coq.
PILIHAN
-h Akan memberi anda penerangan tentang senarai keseluruhan pilihan coq_makefile.
Gunakan coq_makefile dalam talian menggunakan perkhidmatan onworks.net