aconite-ac / theorem_proving_in_lean4

Theorem Proving in Lean 4 日本語訳
https://aconite-ac.github.io/theorem_proving_in_lean4_ja/
Apache License 2.0
10 stars 2 forks source link

false でなく False にする #5

Closed Seasawher closed 7 months ago

Seasawher commented 10 months ago

resolve #4

aconite-ac commented 7 months ago

ご指摘ありがとうございます。

明確な誤りであり、かつ混乱を招く誤りですね。失礼いたしました。 修正内容についても問題ありませんのでこのままマージします。