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