Skip to content
Coq

Try assumption when checking if purified hyp already derivable #1259

Sign in to view logs

Try assumption when checking if purified hyp already derivable

Try assumption when checking if purified hyp already derivable #1259

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (8.17.0)
20m 19s
build (master)
21m 39s
41m 58s