Skip to content
Correspondence Validation

proofs(idris2): close 3 Cat-A RMO non-theorem holes (#119B) — RMO.idr at zero holes #305

Sign in to view logs

proofs(idris2): close 3 Cat-A RMO non-theorem holes (#119B) — RMO.idr at zero holes

proofs(idris2): close 3 Cat-A RMO non-theorem holes (#119B) — RMO.idr at zero holes #305

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify-proofs (Coq build oracle)
1m 6s
property-testing
51s
validate-correspondence
25s
2m 22s