# ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発 - 正誤表

## 第1版第2刷

*この版には正誤情報がありません*