『CS 99: Functional Programming and Theorem Proving in Lean 4』2025/7/10 15:58:00 https://perfect-math-class.leni.sh/
