A Beginner's Companion to Theorem Proving in Lean 4(emallson.net)77 points by PaulHoule 2 years ago | 10 comments