A proofs class textbook in Lean 4 suitable for coders #1 Post by dangrigsby » Sun, Feb 11, 2024, 8:15 PM UTC A proofs class textbook in Lean 4 suitable for codershrmacbeth.github.io