>>764

・Learn Lean
Lean is a functional programming language and theorem prover built for formalizing math and for formal verification,
but is flexible enough for general coding.

・Leanを学ぶ
Leanは、数学の形式化や形式検証のために開発された関数型プログラミング言語および定理証明器ですが、
一般的なコーディングにも十分活用できる柔軟性を備えています。deepl