Skip to content
Compile blueprint

Use Vampire to resolve almost all unknown implications (without proof) #734

Sign in to view logs

Use Vampire to resolve almost all unknown implications (without proof)

Use Vampire to resolve almost all unknown implications (without proof) #734

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build project
16s
16s