ນີ້ແມ່ນຄໍາສັ່ງວ່າເປັນຫຍັງ-dp ທີ່ສາມາດດໍາເນີນການໄດ້ຢູ່ໃນ 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 <filliatr@lri.fr>
ໃຊ້ Why-dp ອອນໄລນ໌ ໂດຍໃຊ້ການບໍລິການ onworks.net