About

English

歴1年の初心者が、数学と証明アシスタントLean 4を学んでいく過程を記録しています。

なぜ始めたのか？

…