TorchLean: Formalizing Neural Networks in Lean

• Posted 4 hours ago by matt_d
• 2 points