ນີ້ແມ່ນຄໍາສັ່ງ krakatoa ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
ເປັນຫຍັງ - ເຄື່ອງມືຢັ້ງຢືນຫຼາຍພາສາ
ສະຫຼຸບສັງລວມ
ເປັນຫຍັງ [ ທາງເລືອກໃນການ ] ໄຟ
ລາຍລະອຽດ
ເປັນຫຍັງ ເປັນເຄື່ອງມືການກວດສອບ. ມັນໃຊ້ຄໍາອະທິບາຍບັນດາໂຄງການເປັນການປ້ອນຂໍ້ມູນ (ໃນ ML ຫຼື C syntax) ແລະ
ອອກເງື່ອນໄຂການຢັ້ງຢືນສໍາລັບການຊ່ວຍເຫຼືອພິສູດຫຼາຍ (Coq, PVS, HOL Light, Mizar)
ແລະຂັ້ນຕອນການຕັດສິນໃຈ (haRVey, Simplify).
OPTIONS
-h ຊ່ວຍເຫຼືອ. ຈະໃຫ້ທ່ານບັນຊີລາຍຊື່ເຕັມຂອງທາງເລືອກແຖວຄໍາສັ່ງ.
AUTHORS
Jean-Christophe Filliatre <[email protected]>
ໃຊ້ krakatoa ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
