Formal proofs are hard, like many other things worth learning!
In this video, I talk through the difficulties of formal proofs of validity, and why it’s worth enduring the hardship to learn them.

YouTube version HERE.