TorchLean

(β˜… 126)

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

File Explorer

Download Latest Version (.zip)
  • .gitattributes
  • .gitignore
  • .gitpod.yml
  • AGENTS.md
  • AI_USAGE.md
  • CITATION.cff
  • CONTRIBUTING.md
  • formalization.yaml
  • lake-manifest.json
  • lakefile.lean
  • lean-toolchain
  • LICENSE
  • NN.lean
  • README.md
  • THIRD_PARTY_NOTICES.md
  • TRUST_BOUNDARIES.md

# Installation Guide

1. Get the code
git clone https://github.com/lean-dojo/TorchLean

Downloads the entire project code from GitHub to your computer.

cd TorchLean

Moves into the project folder you just downloaded.

2. Ruby

Easy Recommended
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Ruby Ruby is required to use the bundle command.
cd home_page

This project's files live in a subfolder, so move into it first.

bundle install

Installs the Ruby libraries listed in the Gemfile.

βœ… If bundle install finishes without errors, continue with the run command from the README (e.g. rails server).

Today's picks

tabby β˜… 74,042

A terminal for a more modern age

TypeScript
TradingAgents β˜… 99,131

TradingAgents: Multi-Agents LLM Financial Trading Framework

Python
skills β˜… 228,572

Skills for Real Engineers. Straight from my .agents directory.

Shell
HowToCook β˜… 101,850

Programmer's guide about how to cook at home.
cc-switch β˜… 128,677

A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw,

Rust
llm-course β˜… 81,890

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
// repository documentation