TorchLean is a Lean 4 framework for neural-networks

(github.com)

3 points | by porridgeraisin 4 hours ago

No comments yet.