Get Started with Lean Proof Assistant #1 Post by digital55 » Mon, May 25, 2026, 1:19 PM UTC Get Started with Lean Proof Assistantlean-lang.org