TorchLean is a Lean 4 framework for neural-networks

(github.com) by porridgeraisin | Oct 28, 2026 | 0 comments on HN