เบเบตเปเปเบกเปเบเบเปเบฒเบชเบฑเปเบ coqtop.opt เบเบตเปเบชเบฒเบกเบฒเบเบเปเบฒเปเบเบตเบเบเบฒเบเปเบเปเปเบ OnWorks เบเบนเปเปเบซเปเบเปเบฅเบดเบเบฒเบเปเบฎเบเบเบดเปเบเบเบฃเบตเปเบเบเปเบเปเบซเบเบถเปเบเปเบเบซเบผเบฒเบเบเปเบญเบเปเบฎเบฑเบเบงเบฝเบเบญเบญเบเปเบฅเบเปเบเบญเบเบเบงเบเปเบฎเบปเบฒเปเบเบฑเปเบ Ubuntu Online, Fedora Online, Windows online emulator เบซเบผเบท MAC OS online emulator
เปเบเบเบเบฒเบ:
NAME
coqtop.opt - เบฅเบฐเบซเบฑเบเบเบทเปเบเปเบกเบทเบญเบ Coq เบฅเบฐเบเบฑเบเบชเบนเบเบชเบธเบ
เบชเบฐเบซเบผเบธเบเบชเบฑเบเบฅเบงเบก
coqopt.opt [ เบเบฒเบเปเบฅเบทเบญเบเปเบเบเบฒเบ ] [ เปเบญเบเบฐเบชเบฒเบ ]
เบฅเบฒเบเบฅเบฐเบญเบฝเบ
coqopt.opt เปเบกเปเบเบชเบฐเบเบฑเบเบเบฒเบชเบฒเบเบทเปเบเปเบกเบทเบญเบเบเบญเบ Coq. เบกเบฑเบเบเปเปเบเบงเบเบเบทเบเปเบญเบตเปเบเปเบเบเบเบปเบ, เปเบเปเบงเปเบฒเบเบฝเบเปเบเป
by coqtop เปเบฅเบฐ coqc
เปเบเป coqtop.opt เบญเบญเบเปเบฅเบเปเปเบเบเปเบเปเบเปเบฅเบดเบเบฒเบ onworks.net