[How to Use Lean 4, linarith, and ring to Help You Check Your Algebra Homework Without Cheating](https://functor.network/user/3095/entry/1202)