[How to Use Lean 4, linarith, and ring to Help You Check Your Algebra Homework Without Cheating](https://functor.network/user/3095/entry/1202) --- Wiki note author: [[dducoff]] Posted Date: 2026-08-11