TorchLean is a Lean 4 framework for neural-networks

3 points | by porridgeraisin 4 hours ago