TorchLean is a Lean 4 framework for neural-networksgithub.com4 points·porridgeraisin··0 commentsOpen articleSaveView on HN