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 explicit Bool enumeration proof #6

Sign in to view logs

Compile explicit Bool enumeration proof

Compile explicit Bool enumeration proof #6

Run time

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