The Best to Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com) 2 points by iamwil 8mo ago ↗ HN
0 comments
[ 3.5 ms ] story [ 12.8 ms ] threadNo comments yet.