PrototypeCommon
lean-dojo/TorchLean
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
- Owner
- lean-dojo (organization)
- Stars
- Stars: 192
- Forks
- Forks: 23
- Language
- Lean
- License
- MIT
- Created
- 2026
- Topics
- ai4mathai4sciencelean4neural-networkpytorchscientific-computingtheorem-provingverification
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by lean-dojo
All 6 repos by lean-dojo- lean-dojo/LeanCopilotStars: 1,339C++Beta
- lean-dojo/LeanDojoStars: 852PythonBeta
- lean-dojo/ReProverStars: 340PythonAlpha
- lean-dojo/LeanDojo-v2Stars: 151PythonPrototype
- lean-dojo/LeanDojoChatGPTStars: 126PythonPrototype
Nearby in Lean
All Lean repos- openai/lean-gymStars: 201LeanPrototype
- leanprover-community/lean-autoStars: 195LeanPrototype
- lean-ja/lean-by-exampleStars: 193LeanPrototype
- cajal-technologies/talosStars: 191LeanPrototype
- leanprover-community/tutorialsStars: 183LeanPrototype
- leanEthereum/leanVMStars: 178LeanPrototype