Proof environment: 2
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
5df374c11f313022fe7b6de81a239dd5660d0fbd512bdefeb4eb224d43e211f3
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.