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