Skip to content
CI

Fix and optimize reconstruction of proofs with quantifiers. #428

Sign in to view logs

Fix and optimize reconstruction of proofs with quantifiers.

Fix and optimize reconstruction of proofs with quantifiers. #428

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
10m 44s
10m 44s