Skip to content
Coq Axiom Check

Make notBits depend on bit width #27

Sign in to view logs

Make notBits depend on bit width

Make notBits depend on bit width #27

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq-check
2m 4s
2m 4s