TorchLean: Formalizing Neural Networks in Leanleandojo.org
54 points by matt_d 3 days ago | 7 comments