형식적 증명 검증과 Curry-Howard 대응에 대한 소개An introduction to formal proof verification and the Curry-Howard Correspondence▲ 27 · max-amb.github.io · 4일 전 · 6 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…