TorchLean: Formalizing Neural Networks in Lean

57 points

by matt_d

2 days ago

8 comments