8 items with this tag. Sorted by last modified date (newest first).
ํ ๋ฐ์ค ํ์ค๋ ํ๋ ์ํ์ ๋ํ์ ๊ฑฐ์ฅ์ผ๋ก, ๋ณด์กฐ์ฆ๋ช ๊ณผ ๊ณ์ฐ ๋๊ตฌ๋ฅผ ํตํด ์ํ ์ค์ฒ์ ๋ฏธ๋๋ฅผ ํ์ฅํ๋ค.
์ ์ฃผํฌ๋ ์๋ฆฌ๋ ผ๋ฆฌ์ ์งํฉ๋ก , ๋จธ์ ๋ฌ๋์ ๋๋๋ค๋ฉฐ ์ํ์ ์๋ฐํจ๊ณผ ๊ณ์ฐ์ ์ฌ๊ณ ๋ฅผ ํจ๊ป ๋ณด์ฌ์ฃผ๋ ์ฐ๊ตฌ์์ด์ ๊ต์ก์๋ค.
Coq์์ ์์๋ ํ์์ฆ๋ช ๊ด์ฌ์ ten-proofs์ ๋ฒ ๋ฆฌ์ฝ๋ฉ์ผ๋ก ์๊ณ , ์์ฐ์ด ์๋์ ํ์ ๋ช ์ธ, ์ปค๋ ๊ฒ์ฆ ์ฌ์ด์์ ์ธ๊ฐ์ด ๋งก์์ผ ํ ์ฑ ์๊ณผ ์ ๋ขฐ ๊ฒฝ๊ณ๋ฅผ ์ดํ๋ค.
์ฆ๋ช ๊ณผ ์ค๋, ๊ท๋ฅ์ ๋ฐ์ฆ, ๋ณ์ฆ๊ณผ ๋ฐฐ๋ฆฌ ์ญ์ค์ ๋ ผ๋ฆฌ์ ์์ฌ, ์ถ๋ก ์ ์ ์ ์์ ํจ๊ป ๋ค๋ฃฌ๋ค.
opam๊ณผ VSCode ๊ฒฝ๋ก๋ฅผ ์ด์ฉํด Coq๋ฅผ ์ค์นํ๊ณ ์ธ์ด ์๋ฒ๊น์ง ๋ง์ถ๋ ์ ์ฐจ๋ฅผ ์ ์ ๊ธฐ๋ก.
๋ฐ์ฑ์ฐ๋ ์ฝ๊ณผ ๋ ผ๋ฆฌํ ๊ต์ก์ ํตํด ์ฆ๋ช , ํ์ํ, ๊ณ์ฐ๊ฐ๋ฅ์ฑ์ ๊ธฐ์ด๋ฅผ ์ฐจ๋ถํ ๋ค๋ฃจ๋ ์ฐ๊ตฌ์๋ค.
์ฐ๋ถํฌ์์ Coq์ coqtop์ ์ค์นํ๊ณ ์ด๋งฅ์ค ์ฆ๋ช ๋ณด์กฐ๊ธฐ ํ๊ฒฝ์ ๋ง์ถ๋ ๊ณผ์ ์ ์ ๋ฆฌํ ๊ธฐ๋ก.
๊ฐ์ ์์ ๋ฅผ ๋ฐ๋ผ๊ฐ๋ฉฐ Coq๋ฅผ ์ด๋งฅ์ค ์๋ํฐ์ ์ฐ๋ํ๊ณ ์๋์์ฑ๊น์ง ํ์ธํ ํ์ต ๊ธฐ๋ก.
Comments