제 멘티분들과 더불어, 린을 배우고 싶은 다른 한국인들을 위해 "린 4로 하는 정리 증명" 교재를 그저께부터 한국어로 해설하기 시작했습니다.
이번 주 동안 이 교재를 4장까지 해설할 수 있으면 좋겠네요. 1장은 린 정리 증명기를 소개하고, 2장은 린의 의존 유형론을 다루며, 3장과 4장은 각각 명제 논리와 술어 논리의 정리를 린으로 증명하는 방법을 알려 줍니다.
멘티분들이 교재 내용을 잘 이해했는지 확인하려고 퀴즈도 만들었습니다. 아래의 깃 저장소에서 제가 만든 2장 퀴즈를 살펴보실 수 있어요. "린 4로 하는 정리 증명" 교재의 연습 문제 풀이도 여기에 추가할 계획입니다.