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