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