TorchLean: Verified Neural Networks in Lean

(robertj1.com) by matt_d | May 13, 2026 | 0 comments on HN