Proofs

chore(deps): bump the actions group with 7 updates (#118) #19

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Coq — CNO + OND (14 theories)	34s
Z3 — CNO + OND bounded checks	16s
Agda — CNO + OND	1m 28s
	2m 18s