Skip to content
CI

prove bound on side condition is unnecessary for con prob lang #710

Sign in to view logs

prove bound on side condition is unnecessary for con prob lang

prove bound on side condition is unnecessary for con prob lang #710

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:latest-coq-8.19)
32m 44s
32m 44s