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

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

著者: 井上亜星

📚 出版社の書籍ページ ISBN: 978-4-908686-21-4

正誤一覧

📥 Markdownエクスポート
正誤あり 報告・コメントのみ

該当する項目がありません

📖 特定のページの正誤を確認

まだ報告されていない誤りの報告もこちらから（GitHubアカウントが必要）。