「自分で動かしながら楽しみたい」という読者のために、J-Bobという簡素な定理証明支援系を用意してあります。 必須じゃないという書き方ですね でもせっかくですから動かしてみたい まずはThe Little Proverのページにアクセスしてみます J-BobはGitHubから…