TorchLean: Formalizing Neural Networks in Lean
(leandojo.org)
59 points
by matt_d
3 days ago |
8 comments
()
()
