The LLL algorithm seems pretty straight-forward looking at it on Wikipedia. It’s possible that proving things about it is tricky, but understanding the steps is pretty “first-course”.