torchlean-development-cache

Project information

Lean 4 + TorchLean dev image for MAAP JupyterHub (:cpu/:gpu) — Mathlib/TorchLean binary cache baked into the image under /opt/lean: self-contained and offline, larger. Sibling of torchlean-development-slim; both are stopgaps until Lake's cross-project binary cache lands (lean4#14154).

26 Commits
1 Branch
0 Tags

README
Apache License 2.0

Created on

July 01, 2026

Copy SSH clone URLgit@repo.maap-project.org:soil-moisture/torchlean-development-cache.git
Copy HTTPS clone URLhttps://repo.maap-project.org/soil-moisture/torchlean-development-cache.git

Loading