TorchLean: Formalizing Neural Networks in Lean - Explained Simply | ArXiv Explained