Skip to content
This repository was archived by the owner on Aug 27, 2026. It is now read-only.
Wave2 Family5 Lean 4.32 Check

Compile generic frozen-state theorem #9

Sign in to view logs

Compile generic frozen-state theorem

Compile generic frozen-state theorem #9

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lean-core
18s
18s