เบเบตเปเปเบกเปเบเบเปเบฒเบชเบฑเปเบเบงเปเบฒเปเบเบฑเบเบซเบเบฑเบ-config เบเบตเปเบชเบฒเบกเบฒเบเบเปเบฒเปเบเบตเบเบเบฒเบเปเบเปเปเบ 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 <[email protected]>
เปเบเป why-config online เปเบเบเปเบเปเบเปเบฅเบดเบเบฒเบ onworks.net