ພາສາອັງກິດພາສາຝຣັ່ງແອສປາໂຍນ

ແລ່ນເຊີບເວີ | Ubuntu > | Fedora > |


OnWorks favicon

why-dp - ອອນລາຍໃນຄລາວ

ດໍາເນີນການ why-dp ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີຜ່ານ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator

ນີ້ແມ່ນຄໍາສັ່ງວ່າເປັນຫຍັງ-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


Ad


Ad