PrototypeCommune
lean-dojo/TorchLean
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
- Propriétaire
- lean-dojo (organisation)
- Étoiles
- Étoiles : 192
- Forks
- Forks : 23
- Langage
- Lean
- Licence
- MIT
- Création
- 2026
- Sujets
- ai4mathai4sciencelean4neural-networkpytorchscientific-computingtheorem-provingverification
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de lean-dojo
Les 6 dépôts de lean-dojo- lean-dojo/LeanCopilotÉtoiles : 1 339C++Bêta
- lean-dojo/LeanDojoÉtoiles : 851PythonBêta
- lean-dojo/ReProverÉtoiles : 339PythonAlpha
- lean-dojo/LeanDojo-v2Étoiles : 151PythonPrototype
- lean-dojo/LeanDojoChatGPTÉtoiles : 126PythonPrototype
D’autres dépôts Lean
Tous les dépôts Lean- openai/lean-gymÉtoiles : 201LeanPrototype
- leanprover-community/lean-autoÉtoiles : 195LeanPrototype
- lean-ja/lean-by-exampleÉtoiles : 192LeanPrototype
- cajal-technologies/talosÉtoiles : 191LeanPrototype
- leanprover-community/tutorialsÉtoiles : 183LeanPrototype
- leanprover/doc-gen4Étoiles : 176LeanPrototype