TorchLean

lean-dojo

TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.

neural-network

View on GitHub Website

104 Stars

12 Forks

1 Watchers

Lean Language

mit License

100 SrcLog Score

Cost to Build

$2.10M

Market Value

$6.20M

How is this calculated?

Growth over time

1 data points · 2026-07-26 → 2026-07-26

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about TorchLean

Question copied to clipboard

What is the lean-dojo/TorchLean GitHub project? Description: " TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification. ". Written in Lean. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone TorchLean

Clone via HTTPS

git clone https://github.com/lean-dojo/TorchLean.git

Clone via SSH

[email protected]:lean-dojo/TorchLean.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the TorchLean issue tracker:

Open GitHub Issues

Similar to TorchLean

tensorflow pytorch CNTK spaCy awesome-deep-learning python-machine-learning-book handson-ml tfjs tflearn HanLP tfjs-core Machine-Learning-Tutorials EffectiveTensorflow gensim php-ml brain.js TensorFlow-Tutorials have-fun-with-machine-learning tiny-dnn neurojs TensorLayer Paddle-Lite chainer seq2seq awesome-artificial-intelligence onnx tutorials TensorFlow-World neon tensorflow_cookbook