TorchLean: Formalizing Neural Networks in Lean

[matt_d]

Article URL: https://leandojo.org/torchlean.html

Comments URL: https://news.ycombinator.com/item?id=47203219

Points: 76

# Comments: 10