Skip to content
Proofs

feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-blocked) #16

Sign in to view logs

feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-blocked)

feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-blocked) #16

Triggered via pull request July 17, 2026 05:07
@hyperpolymathhyperpolymath
opened #110
claude/project-scope-planning-8agyox
Status Success
Total duration 1m 52s
Artifacts –

proofs.yml

on: pull_request
Coq — CNO + OND (14 theories)
24s
Coq — CNO + OND (14 theories)
Agda — CNO + OND
1m 47s
Agda — CNO + OND
Z3 — CNO + OND bounded checks
20s
Z3 — CNO + OND bounded checks
Fit to window
Zoom out
Zoom in