딱국이는 프로그래밍 1달차인데 coq증명기비슷한거만들고있더라

[익명(61.79)]

난딱국이도전정신을칭찬함