Leanで定理証明を行なっているGIF

[Seasawher]

@aconite-ac @haruhisa-enomoto
団体のトップページREADMEにgifも載せられると思うんですけど、そこにleanで定理証明を行なっているところを録画したgifを載せるとわかりやすいんじゃないかな？と思いました

トップページではなくて、今後作るWebサイトの方に載せてもいいかなと思いますが、Webサイトはまだできていないので、それはできてから検討したいと思います。

[aconite-ac]

なんとなく、動画を再生するかどうかをユーザーが決められるもの、
例えばYouTubeの埋め込みリンクの方が適切な気がします。
(トップページで毎回動画を見るのは気が散る…という方もいそうなので。)

クリックしたときだけ再生されるように設定できるなら、gifを掲載するのもいい案だと思います。
その場合は、具体的な根拠はないですがGitHubトップのREADMEに載せるのがよさそうな気がします。

[Seasawher]

動画でなくてもいいかなと思ったので，スクショを撮ってみました．

勉強会のコードのスクショですが，どうでしょうか．Lean のプレイ感が伝わるかなと思ったので…．

[aconite-ac]

ページのレイアウト次第かもしれませんが、よさげに見えます。
あとは資料の作成者である@haruhisa-enomotoさんの意見を伺いたいところですね。

[haruhisa-enomoto]

よいと思います。（ページのレイアウトによってはちょっと画像サイズが大きくなってしまう気もちょっとします）

[Seasawher]

ご確認ありがとうございます

自分でスマホから見直してみて、ちょっとテキストのサイズが小さいかなと思ったので、後で撮影し直します