fix(proof): require real proof rejection and valid Coq submissions #534
Triggered via pull request
September 7, 2026 03:18
hyperpolymath
Status
Success
Total duration
12m 27s
Artifacts
–