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

井上亜星