[일반] 혹시 Coq 잘 아시는 분 계신가요?

[기괴공학도(mecheng98)]

다루는 법을 어떻게 공부하는 게 좋을까요?

- 희망의 등불

[익명(119.202)]

본인도 콕 공부 좀 하려는데

[기괴공학도(mecheng98)]

공식홈피 가이드북 너무 어려워서 못 읽겠어요 - 훈다리 훈다리