A proofs class textbook in Lean 4 suitable for coders (hrmacbeth.github.io) 4 points by dangrigsby 2y ago ↗ HN
0 comments
[ 5.5 ms ] story [ 14.1 ms ] threadNo comments yet.