Proof environment: 1

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

13b27967e70b52487583cb89938842315677e5e521c9617ed65d7c81601ff6a8

Availability: available.

Exact prelude source

Public JSON record