Why Not Use Lean? #1 Post by baruchel » Thu, Apr 23, 2026, 5:21 PM UTC Why Not Use Lean?lawrencecpaulson.github.io