ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発（電子書籍のみ）

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

• 本书基于之前发表的文章内容编写。