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