TorchLean: Formalizing Neural Networks in Lean

3 points| matt_d | 2 days ago |leandojo.org