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

日本語検索に対応させる #2

Closed Seasawher closed 12 months ago

Seasawher commented 12 months ago

@aconite-ac お疲れ様です.おそらくこのままマージすれば動くと思います.

aconite-ac commented 12 months ago

ローカルで動かしたところ確かに日本語検索が機能しました。 大変ありがとうございます!このままマージいたします。