lean-ja/mathematics_in_lean_source Issues
Introduction のタイトルが英語のまま
Closedデプロイする
Closed開発環境のセットアップ手順についてドキュメントを用意する
Closed 3本書内で参照しているリンクを日本語ページに置き換える
Updated
「Mathematics in Lean tutorial」の和訳.
https://lean-ja.github.io/mathematics_in_lean_source/
Repository from Github https://github.comlean-ja/mathematics_in_lean_source