[질문] Coq 잘 아시는 분 계신가요?

[기괴공학도(mecheng98)]

공식 문서는 너무 어려워서 ㅇㄹ님 같은 언어의 마술사께서 설명해 주셨으면 좋겠습니다.

[커헠(msca8h)]

아조씨 왜 굶어죽는 분야만 관심 이써요? - return 0;

[기괴공학도(mecheng98)]

아니 저 기계과인데 취미로 하는 거라니까요 ㅋㅋ 아무튼 관심 있는 사람은 별로 없겠군요

[익명(175.223)]

저도 Coq 관심 있는데. 여기 문서 너무 보기 힘들게 돼 있음..

[기괴공학도(mecheng98)]

설명글 써주실 수 있으신가요??

[익명(175.223)]

Emacs 세팅도 먼가 지랄맞고

[ㅇㄴㄴ(spijgetji)]

진정한 힙스터

[ㅇㅅㅇ(39.7)]

coq는 이 책이 바이블이지요
https://softwarefoundations.cis.upenn.edu

[기괴공학도(mecheng98)]

님 수잘갤의 ㅇㅅㅇ님이신가요?