Verification run
Run 152
438d1a7da811 toolchain lean-v4-30-0 prover lean took 17m 7s · finished 3d ago
Source PRs
Queue build-checked theorem source patches from this job page by selecting a theorem extracted for the current repository commit. If the selected theorem already has a healthy managed source PR, Apodeixis reuses that branch instead of spraying a new one.
Matched 500 theorems for this job commit. Exact commit matches appear first.
Selected theorem BKLNW_a1_le_two_of_ge_1000 (thm_0fa1162406af30091f31e1e52bc9a55a9e71043e631bb454984a154dda4798a7) · exact commit · proved
No open managed source PR for the selected theorem yet. The next successful submit creates one.
Use a verified draft id. The worker will patch the theorem source, run the local checker, then create or update the managed GitHub PR.
No source PR runs recorded for this theorem yet.
Publish files
Publishes files from a successful run after project policy checks.