JGalego/torchlib
Deep learning meets Lean4 🔥✅
GitHub repository with 5 stars and 2 forks.
Language: Lean
Topics: deep-learning, lean4, torch, lean
24h trend summary
Trending score 0.00, freshness score 0.00, stars gained +0, forks gained +0.
Latest metric snapshot
2026-07-15: 5 stars and 2 forks.