『CS 99: Functional Programming and Theorem Proving in Lean 4』2025/7/10 15:58:00 https://perfect-math-class.leni.sh/
『XユーザーのSnO₂WMaNさん: 「https:t.co/rt2XwN1sns 定理証明支援系によるパーフェクトさんすう教室ありえなさすぎる https:t.co/CxPxiF8dez」 / X』2025/7/10 15:58:00 https://x.com/SnO2WMaN/status/1943085627228197234
