Proofs

docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3… #53

Sign in to view logs

Triggered via push October 1, 2026 13:54

main

Status Success

Total duration 2m 0s

Artifacts –

proofs.yml

on: push

Coq — CNO + OND (14 theories)

Agda — CNO + OND

Z3 — CNO + OND bounded checks

Lean — core CNO (6 modules + axiom audit)