団体Webサイトをリリースしました

[Seasawher]

団体のWebサイトをリリースしました．

https://lean-ja.github.io/ からアクセスできます

[Seasawher]

@aconite-ac @s-taiga @haruhisa-enomoto メンション忘れてました

[Seasawher]

Webサイトがリリースできたので，団体トップのREADMEも見直した方がいい気がします

私はもうなくしてもいい気がしていますが，いかがでしょうか．

[Seasawher]

スクショも撮影しました
良い感じのように思います

[haruhisa-enomoto]

ありがとうございます、がすみません画像で気づきましたがreftRelはleftRelの誤字でした……（左剰余類的な関係のため）（本質的なミスではありませんが）。
修正したのがこれになります。

[Seasawher]

全然気づいてませんでした．確かに誤字がありますね

このスクショはVSCodeに Atom One light テーマを入れて，適当に拡大したうえで撮影しているものなので，撮影しなおさないといけないですね．（Lean4 Web のフォントやテーマが気に入らなかったので…）

[Seasawher]

今Webサイトのデザインを実際にいじってどう入れるか考えているのですが，スクショを大きめに入れてしまって，その分説明を詳しくすると自然な感じになる気がしています．

lean4 web のリンクを張って，画像をクリックすると lean4 web に飛ぶようにすることもできますが，そこまで必要かどうかは一度実物を確認してもらった方がいいかもしれません．後で PRを出します

[Seasawher]

すみません, かなり時間がかかるかもしれません

やっぱり今の juice テーマだとあまり画像がきれいにはまらないですし，かといってリンクを張るのはちょっと距離がある感じがしますね．

欲が出てきて，ギャラリー的にいろんな画像が見れたらいいなとか，この Lean 紹介文はテンションが低すぎて魅力が伝わらないんじゃないかとかいう気持ちになっています．

[Seasawher]

@s-taiga あまりご意見を聞かないままリリースしてしまいましたが、いまのデザインはどうでしょうか…？
何かあれば対応するので言ってください