「Theorem Proving in Lean 4」の日本語訳を作るためのリポジトリです.
- 原文のURL: https://leanprover.github.io/theorem_proving_in_lean4/
- 原文のGitHubリポジトリ: https://github.com/leanprover/theorem_proving_in_lean4
- mdbookのドキュメント: https://rust-lang.github.io/mdBook/
「Theorem Proving in Lean 4」の日本語訳を作るためのリポジトリです.