เบเบตเปเปเบกเปเบเบเปเบฒเบชเบฑเปเบ coqwc เบเบตเปเบชเบฒเบกเบฒเบเบเปเบฒเปเบเบตเบเบเบฒเบเปเบเปเปเบ OnWorks เบเบนเปเปเบซเปเบเปเบฅเบดเบเบฒเบเปเบฎเบเบเบดเปเบเบเบฃเบตเปเบเบเปเบเปเบซเบเบถเปเบเปเบเบซเบผเบฒเบเปเบเปเบญเบเปเบฎเบฑเบเบงเบฝเบเบญเบญเบเปเบฅเบเปเบเบญเบเบเบงเบเปเบฎเบปเบฒเปเบเบฑเปเบ Ubuntu Online, Fedora Online, Windows online emulator เบซเบผเบท MAC OS online emulator
เปเบเบเบเบฒเบ:
NAME
coqwc - เบเบดเบกเบเปเบฒเบเบงเบเบชเบฐเปเบเบฒเบฐ, เบซเบผเบฑเบเบเบฒเบเบชเบฐเปเบเบเปเบฅเบฐเบเปเบฒเบเบดเบเบเปเบฒเปเบซเบฑเบเปเบเปเบเบฅเป Coq
เบชเบฐเบซเบผเบธเบเบชเบฑเบเบฅเบงเบก
coqwc [ -p ] [ -s ] [ -r ] [ -e ] เปเบ ...
เบฅเบฒเบเบฅเบฐเบญเบฝเบ
coqwc เบเบดเบโเปเบฅเปโเบเปเบฒโเบเบงเบโเบเบญเบโเปเบชเบฑเปเบโเบชเบฐโเปเบเบฒเบฐโ, เบชเบฒเบโเบซเบผเบฑเบโเบเบฒเบโเบชเบฐโเปเบเบโเปเบฅเบฐโเปเบชเบฑเปเบโเบเปเบฒโเบเบดเบโเปเบซเบฑเบโเปเบ Coqโ
เปเบเบฅเป.
OPTIONS
-p เบเบดเบกเบชเปเบงเบเบฎเปเบญเบเบเบญเบเบเปเบฒเปเบซเบฑเบ
-s เบเบดเบกเบเบฝเบเปเบเปเบเปเบฒเบเบงเบเปเบชเบฑเปเบเบชเบฐเปเบเบฒเบฐ
-r เบเบดเบกเบเบฝเบเปเบเปเบเปเบฒเบเบงเบเปเบชเบฑเปเบเบซเบผเบฑเบเบเบฒเบ
-e เบขเปเบฒเบเปเบฒเบกเบชเปเบงเบเบซเบปเบง
เปเบเป coqwc เบญเบญเบเปเบฅเบเปเปเบเบเปเบเปเบเปเบฅเบดเบเบฒเบ onworks.net