My experience with Lean 4 for general programming #1 Post by quamserena » Thu, Dec 11, 2025, 12:20 AM UTC My experience with Lean 4 for general programmingquamserena.com