Skip to content
Proofs

docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-readable) #1

Sign in to view logs

docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-readable)

docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-readable) #1

Triggered via pull request July 7, 2026 05:14
@hyperpolymathhyperpolymath
opened #101
worktree-docs-hygiene-sweep
Status Success
Total duration 29s
Artifacts –

proofs.yml

on: pull_request
Coq — CNO + OND (14 theories)
25s
Coq — CNO + OND (14 theories)
Z3 — OND bounded checks
13s
Z3 — OND bounded checks
Fit to window
Zoom out
Zoom in