ນີ້ແມ່ນຄໍາສັ່ງ coq_makefile ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
coq_makefile - ຜູ້ຊ່ວຍສ້າງເອກະສານ Coq Proof
ສະຫຼຸບສັງລວມ
coq_makefile [ ກະທູ້ທີ່ ]
ລາຍລະອຽດ
coq_makefile ເປັນເຄື່ອງສ້າງ makefile ສໍາລັບການພັດທະນາຫຼັກຖານ Coq.
OPTIONS
-h ຈະໃຫ້ທ່ານລາຍລະອຽດກ່ຽວກັບບັນຊີລາຍຊື່ທັງຫມົດຂອງທາງເລືອກຂອງ coq_makefile.
ໃຊ້ coq_makefile ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
