J-Bobといっても証明する方じゃなくて j-bob-lang.scmで定義される方のやつです 証明する方のJ-Bobが動いて各種証明ができるレベルを目標とします 定理証明手習い、終わりのつもりだったんですけどこんなこと書いてあったの思い出しまして 読者のみなさんも…