SSR: Lean 4SSR: Lean 4の証明を高めるる。効率を上げるために認証プロセスを簡素化すプログラミング言語Lean 4での小規模反射を使った証明の改善SSRがLean 4の証明管理をどう向上させるかを学ぼう。2025-08-27T20:37:24+00:00 ― 1 分で読む