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.

  • @siriusmartM
    1•5 days ago

    of course the website has something to do with lean

    • 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?