Ubuntu Online, Fedora Online, Windows ์จ๋ผ์ธ ์๋ฎฌ๋ ์ดํฐ ๋๋ MAC OS ์จ๋ผ์ธ ์๋ฎฌ๋ ์ดํฐ์ ๊ฐ์ ์ฌ๋ฌ ๋ฌด๋ฃ ์จ๋ผ์ธ ์ํฌ์คํ ์ด์ ์ค ํ๋๋ฅผ ์ฌ์ฉํ์ฌ OnWorks ๋ฌด๋ฃ ํธ์คํ ๊ณต๊ธ์์์ ์คํํ ์ ์๋ gwhy ๋ช ๋ น์ ๋๋ค.
ํ๋ก๊ทธ๋จ:
์ด๋ฆ
์ด์ - ๋ค๊ตญ์ด ๋ค์ค ์ฆ๋ช ์ ๊ฒ์ฆ ๋๊ตฌ
๊ฐ์
why [ ์ต์ ] ํ์ผ
๊ธฐ์
why ํ์ธ ๋๊ตฌ์ ๋๋ค. ์ฃผ์์ด ๋ฌ๋ฆฐ ํ๋ก๊ทธ๋จ์ ์ ๋ ฅ(ML ๋๋ C ๊ตฌ๋ฌธ)์ผ๋ก ์ฌ์ฉํ๊ณ
์ฌ๋ฌ ์ฆ๋ช ๋ณด์กฐ์(Coq, PVS, HOL Light, Mizar)์ ๋ํ ๊ฒ์ฆ ์กฐ๊ฑด ์ถ๋ ฅ
๋ฐ ๊ฒฐ์ ์ ์ฐจ(haRVey, Simplify).
์ต์
-h ๋๋ค. ๋ช ๋ น์ค ์ต์ ์ ์ ์ฒด ๋ชฉ๋ก์ ์ ๊ณตํฉ๋๋ค.
์๊ฐ
์ฅ ํฌ๋ฆฌ์คํ ํ ํ๋ฆฌ์ํธ๋ฅด <[์ด๋ฉ์ผ ๋ณดํธ]>
onworks.net ์๋น์ค๋ฅผ ์ฌ์ฉํ์ฌ gwhy ์จ๋ผ์ธ ์ฌ์ฉ