Releases: competemath/tengoku
Release list
Tengoku v1.0.0 (2026-09-30)
What is in v1.0.0
The first release: 198,172 trusted theorems from 3 libraries (mathlib 188,989, equational-theories 8,921, competemath 262), on leanprover/lean4:v4.34.0-rc2.
Upgrade impact
None: this is the first release.
The files
tengoku-dataset.jsonl.gz is every trusted theorem with its statement, proof, source, licence and credit; snapshot.json names the commit, toolchain and counts, and the dataset's sha256. Every file carries build provenance: gh attestation verify <file> -R competemath/tengoku. Versions: a new toolchain or a removed field is a new major version, added theorems a minor one, corrections a patch. How to cite: CITATION.cff.
build cache 2026-10-01 09:46 UTC
commit=5749415c56dc9a10c5cfd1a80606cb85ad5bc1f7
toolchain=leanprover/lean4:v4.34.0-rc2
Compiled .lake/build for 5749415. Fetch with scripts/cache.sh get, or pin a checkout to it with scripts/pin.sh.
build cache 2026-09-30 09:17 UTC
commit=ac208c387b8956e5b83b7aae52ef274311a080af
toolchain=leanprover/lean4:v4.34.0-rc2
Compiled .lake/build for ac208c3. Fetch with scripts/cache.sh get, or pin a checkout to it with scripts/pin.sh.
build cache 2026-09-29 09:27 UTC
commit=79ff309f0714395092631f7f8b801912a6dc9b6d
toolchain=leanprover/lean4:v4.34.0-rc2
Compiled .lake/build for 79ff309. Fetch with scripts/cache.sh get, or pin a checkout to it with scripts/pin.sh.
build cache 2026-09-29 08:36 UTC
commit=1dbd294412a3eddcf7a5963f35338e6c624cbabb
toolchain=leanprover/lean4:v4.34.0-rc2
Compiled .lake/build for 1dbd294. Fetch with scripts/cache.sh get, or pin a checkout to it with scripts/pin.sh.
build cache 2026-09-28 09:19 UTC
commit=862645e5e13da1afb167f76be53c8a3d0066dfa5
toolchain=leanprover/lean4:v4.34.0-rc2
Compiled .lake/build for 862645e. Fetch with scripts/cache.sh get, or pin a checkout to it with scripts/pin.sh.
newest cache (pointer)
cache-latest.json names the newest cache release. Updated by every publish.
cache top-ups
The small per-merge differences from the nightly cache. cache-latest.json names the one in force; everything else here is provisional or about to be collected.