[nephanth]

Article says it is better to actually read the paper instead of trying to figure it out.

I disagree on that. It is a good exercise to try to prove it by yourself and it was actually quite fun

Main mistakes author makes though

- trying to prove it works without first understanding why / how it works. Always simulate test-runs on paper / in your head before

- trying to prove on machine first. Always make sure you can do the proof on paper first. Then and only then should you battle with your verifier / solver to get it to understand your proof