Download lean/Hcalc.lean from Snapkitty/hcalc: direct link, hf CLI and curl.
- Browser
- Download file 262 Bytes
-
https://huggingface.co/Snapkitty/hcalc/resolve/main/lean/Hcalc.lean
- Command line
-
hf download hf://Snapkitty/hcalc/lean/Hcalc.lean
-
curl -L -o Hcalc.lean https://huggingface.co/Snapkitty/hcalc/resolve/main/lean/Hcalc.lean
262 Bytes
| /- | |
| Copyright (C) 2026 HCALC contributors | |
| SPDX-License-Identifier: AGPL-3.0-only | |
| -/ | |
| import Hcalc.RealStub | |
| import Hcalc.Carrier | |
| import Hcalc.Foundry | |
| import Hcalc.Axioms | |
| import Hcalc.Pipeline | |
| import Hcalc.Convergence | |
| import Hcalc.Invariants | |
| import Hcalc.Production | |