search

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

1章の翻訳を追加（DeepLを参考） #1

Closed haruhisa-enomoto closed 1 year ago

haruhisa-enomoto commented 1 year ago

1章イントロダクションを翻訳しました。参考にしたのはDeepLです。

aconite-ac commented 1 year ago

ありがとうございます！ マージした後、2章以降の用語・記法との一貫性を保つために多少の変更を加えてからページに反映します。