diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-12 13:47:38 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-12 13:47:38 +0200 |
| commit | ab4ddd9d49349ddb781514b6b0e9060db5b66a22 (patch) | |
| tree | 74e638ee18e7ccb08e9496f74e8c60e2e306c16e /test/golden/proofassume/generating tasks.golden | |
| parent | cfc0b3c9081c242d7bdefe61fc841f31e7a7a257 (diff) | |
Prove Bug "Ex falso quodlibet"
The generated ATP Tasks are done in few secounds, if they are send manually to Vampire. But if its done in Naproche all together it won't work.
Diffstat (limited to 'test/golden/proofassume/generating tasks.golden')
0 files changed, 0 insertions, 0 deletions