Tariq on Nostr: Latest video is up! This time we look at proving a (simple!) theorem that has an ...

Latest video is up!

This time we look at proving a (simple!) theorem that has an inequality in its hypotheses ..

... that requires us to learn about a new tactic "rel" to reason about inequalities.

youtube:
https://www.youtube.com/watch?v=lcjF1DerqQ4

blog: https://leanfirststeps.blogspot.com/2024/07/05-inequalities.html

#maths #lean #lean4