docs(citation): align CITATIONS.adoc author form with CITATION.cff (#… #57
hyperpolymathproofs.yml
on: push
Coq — CNO + OND (14 theories)
58s
Agda — CNO + OND
25m 17s
Z3 — CNO + OND bounded checks
1m 37s
Lean — core CNO (6 modules + axiom audit)
15s
Annotations
2 errors
|
Agda — CNO + OND
The job has exceeded the maximum execution time of 25m0s
|
|
Agda — CNO + OND
The operation was canceled.
|