[%] 역시 나는 컴맹이다

[기괴공학도(mecheng98)]

분명히 Coq 파일을 컴파일하고 메이크해서

인터프리터랑 대화하는 것 같은데

그렇게 하는 방법을 모르겠어요.

저 좀 도와주세요

[기괴공학도(mecheng98)]

아하! 내리면서 대화하는 거구나.

[익명(147.47)]

배운 거 정리해서 글 올려보셈. Coq

[기괴공학도(mecheng98)]

네 - 훈다리 훈다리

[커헠(msca8h)]

아조씨 기계인데 numerical analysis나 HPC 쪽으로는 안해유? 이쪽 파면 커리어로도 키울 수 있는데 - return 0;

[기괴공학도(mecheng98)]

형님, 저 1학년 마치고 휴학 중인 ㅈ밥입니다 - 훈다리 훈다리

[커헠(msca8h)]

그러면 병렬컴퓨팅이랑 수치해석 공부 좀 해라 이쪽도 재미있다 - return 0;

[기괴공학도(mecheng98)]

알겠습니다. 신경 써주셔서 감사합니다. - 훈다리 훈다리