©RillNews
new
show
ask
jobs
submit
login
TorchLean: Formalizing Neural Networks in Lean
leandojo.org
54 points by
matt_d
3 days ago
|
7 comments
add comment