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