TorchLean is a Lean 4 framework for neural-networks

2026-10-28来源 Hacker News NewEnglish

Article URL: https://github.com/lean-dojo/TorchLean

Comments URL: https://news.ycombinator.com/item?id=50271929

Points: 2

# Comments: 0

原文：https://www.a8q9.cn/en/article/torchlean-is-a-lean-4-framework-for-neural-networks-537209.html

相关文章