Skip to content
This repository was archived by the owner on Aug 27, 2026. It is now read-only.
RACC-R Lean Wave 2 verification

Fix concrete realized-workload proof and unused simp argument #3

Sign in to view logs

Fix concrete realized-workload proof and unused simp argument

Fix concrete realized-workload proof and unused simp argument #3

Run time

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