이 언어가 강력하긴 한데 다루기가 조금 어려운 언어라서,

외부 도움 없이는 간단한 증명보조기 만드는 법을 터득하기까지 시간이 조금 걸려요.

저는 너무 힘들었는데, 도와드리고 싶네요.

추신: 제가 만든 증명보조기 코드를 첨부합니다.

https://gist.github.com/mecheng98/26784a12ef3e613b7484bd231743c67b