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

本书介绍如何使用编程语言Lean进行数学形式化，适合对数学感兴趣并希望将其应用于软件开发的程序员和工程师。

• 本书基于之前发表的文章内容扩展而成。