A proofs class textbook in Lean 4 suitable for coders(hrmacbeth.github.io)4 points by dangrigsby 2 years ago | 0 commentsNo comments yet