Functional Programming and Theorem Proving in Lean 4 #1 Post by rck » Thu, May 29, 2025, 12:51 AM UTC Functional Programming and Theorem Proving in Lean 4web.stanford.edu