Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com) 1 points by iamwil 1y ago ↗ HN
0 comments
[ 4.1 ms ] story [ 11.1 ms ] threadNo comments yet.