Proof environment: 7
An immutable proof environment records the precise toolchain and dependencies used for verification.
- Lean
v4.26.0- Mathlib revision
2df2f0150c275ad53cb3c90f7c98ec15a56a1a67- Verification policy
kernel-replay-v1- Image digest
sha256:3986ca4f7965ae6b9e24eb324578a6d701ba14ab922ceb993ecdc9c785cb8426- Manifest SHA-256
543e115b2650c2178bc71c1bda0e131378eff6d40cf759e5104b2bcc9297ab4c
Availability: restricted.
Verifier toolchain retired on 2026-09-11: the deployment moved from Lean v4.26.0 / Mathlib 2df2f015 to Lean v4.33.1 / Mathlib 0df444a3 so the expanded corpus can be checked against current Mathlib. This artifact's historical verdict is retained and readable, but it cannot be imported into new environments.