예측 확인 도구, II: 유연한 증명 보조자

최근의 포스트에서, 자동 추정 확인 도구의 개념 증명을 논의했습니다. 그 포스트 이후, 두 번의 대규모 개편을 거쳤습니다. 즉, propositional logic의 일부도 처리할 수 있는 증명 보조 도구로 개발했습니다. 그리고 두 번째로는 훨씬 더 큰 증명 보조 도구(의도적으로 […]