Lean Programming Language #1 Post by fagnerbrack » Sun, Jul 19, 2026, 7:35 AM UTC Lean Programming Languagelean-lang.org