『定理証明手習い』正誤情報. Contribute to LambdaNote/errata-littleprover-ja-1-1 development by creating an account on GitHub.