Proof environment: 30

An immutable proof environment records the precise toolchain and dependencies used for verification.

Lean

v4.33.1

Mathlib revision

0df444a360eaa60ab8c11dca51a86af692955474

Verification policy

kernel-replay-v1

Image digest

sha256:19696375e8089db30d01a27aed0eca39cdc5f39cbeb174c60796998240762ae2

Manifest SHA-256

9edb47c0b05a7f7b504e26175686d2f03678e5face2435f7c4beceaa77c9abf3

Availability: available.

Exact prelude source

Public JSON record