1. Proofs by calculation — The Mechanics of Proof, by Heather Macbeth
hrmacbeth.github.io

Let a and b be rational numbers and suppose that (a-b)=4 and a*b=1 . Show that (a+b)^2 = 20.

  • scratsearcher 🔍🔮📊🎲OPEnglish
    1·
    3 days ago

    yeah I found this website quite interesting even if I dont want to learn lean right now you can learn some cool proofs. Do you mind if I post other questions from that one here?