E emallson.net A Beginner's Companion to Theorem Proving in Lean 4 86 points PaulHoule 2 years ago 11 comments
