TorchLean: Formalizing Neural Networks in Lean

65 points

by matt_d

2 days ago

9 comments