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

Add Wave 2 equivalence, enumeration, stateful, and decoder proofs #4

Sign in to view logs

Add Wave 2 equivalence, enumeration, stateful, and decoder proofs

Add Wave 2 equivalence, enumeration, stateful, and decoder proofs #4

Run time

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