The Best Way to Learn Might Be Starting at the End: Writing a Proof in Lean

0Sign in to vote or save

Comments

Nothing yet. Say the first thing.