【2026年版】Lean 4・形式証明の入門におすすめ！全26記事を無料Bookにまとめました

Lean 4や形式証明を学ぶための無料入門書『中学生でもわかる Lean 4』を紹介。全26記事で、数学の証明の基礎からAI開発の現場で求められる論理的思考まで、体系的に学べる一冊。