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

ໂຄງການ:

NAME

ເປັນຫຍັງ - ເຄື່ອງມືຢັ້ງຢືນຫຼາຍພາສາ

ສະຫຼຸບສັງລວມ

ເປັນຫຍັງ [ ທາງເລືອກໃນການ ] ໄຟ

ລາຍລະອຽດ

ເປັນຫຍັງ ເປັນ​ເຄື່ອງ​ມື​ການ​ກວດ​ສອບ​. ມັນ​ໃຊ້​ຄໍາ​ອະ​ທິ​ບາຍ​ບັນ​ດາ​ໂຄງ​ການ​ເປັນ​ການ​ປ້ອນ​ຂໍ້​ມູນ (ໃນ ML ຫຼື C syntax​) ແລະ​
ອອກ​ເງື່ອນ​ໄຂ​ການ​ຢັ້ງ​ຢືນ​ສໍາ​ລັບ​ການ​ຊ່ວຍ​ເຫຼືອ​ພິ​ສູດ​ຫຼາຍ (Coq​, PVS​, HOL Light​, Mizar​)
ແລະຂັ້ນຕອນການຕັດສິນໃຈ (haRVey, Simplify).

OPTIONS

-h ຊ່ວຍເຫຼືອ. ຈະໃຫ້ທ່ານບັນຊີລາຍຊື່ເຕັມຂອງທາງເລືອກແຖວຄໍາສັ່ງ.

AUTHORS

Jean-Christophe Filliatre <[email protected]>

ໃຊ້ Why-dp ອອນໄລນ໌ ໂດຍໃຊ້ການບໍລິການ onworks.net