lean ja のウェブサイトです。
ローカルにプレビューする方法を書きます。
STEP1 このサイトは Rust 製の静的サイトジェネレータである、Zola を用いています。まずインストール手順に従って Zola をインストールします。
STEP2 このリポジトリを clone します。下記コマンドを実行してください。
git clone --recursive https://github.com/lean-ja/lean-ja.github.io.git--recursive フラグは、含まれている git submodule も同時に clone するために必要です。このリポジトリは、Zola の juice テーマを submodule 経由で利用しています。
STEP3 zola serve を実行し、Web server is available at ... とあるところをクリックします。