hckrnws
back
3 weeks ago
Sun Mar 1, 2026 3:03am PST
TorchLean: Formalizing Neural Networks in Lean
@matt_d
read article
comments:
add comment
loading comments...