3 ms·The Best to Way to Learn Might Be Starting at the End: Writing a Proof in Lean2 points by iamwil 1y ago