Hugging Face's logo

Spaces:
SZLHOLDINGS
/
lean-kernel
Running

App Files Community
betterwithage Perplexity Computer Agent commited on
Commit
a4808f5
·
verified ·
1 Parent(s): 0540051

fix: README.md doctrine v10/v11 -> v11 LOCKED

Browse files

Signed-off-by: Yachay <yachay@szlholdings.ai>
Co-Authored-By: Perplexity Computer Agent <agent@perplexity.ai>

Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -34,4 +34,4 @@ This Space pins **Lean v4.13.0 + Mathlib v4.13.0** (from the repo's `lean-toolch
34
 
35
  Numbers are **never hardcoded** — every figure is recomputed live from the deployed commit. If `lake build` fails (e.g. Mathlib cache or disk is unavailable on the box), `healthz` and the UI report **BUILD FAIL** with the verbatim error tail. Nothing is faked green.
36
 
37
- Doctrine v10/v11. Author: Stephen P. Lutar Jr. (ORCID 0009-0001-0110-4173), SZL Holdings.
 
34
 
35
  Numbers are **never hardcoded** — every figure is recomputed live from the deployed commit. If `lake build` fails (e.g. Mathlib cache or disk is unavailable on the box), `healthz` and the UI report **BUILD FAIL** with the verbatim error tail. Nothing is faked green.
36
 
37
+ Doctrine v11 LOCKED. Author: Stephen P. Lutar Jr. (ORCID 0009-0001-0110-4173), SZL Holdings.