TorchLean is a Lean 4 framework for neural-networks

TorchLean is a Lean 4 framework for neural-networks：TorchLean is a Lean 4 framework for neural-networks may be useful when its README and activity match a concr