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