TorchLean: Formalizing Neural Networks in Lean - Tech Sentiments