메루카리의 대화형 정리 증명과 프로그램 개발: Coq'Art: 귀납적 구성의 계산 을 번개장터에서 간편하게 구매 할 수 있어요.