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/indefinite-terms/encoding 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/indefinite-terms/encoding tasks.golden')
0 files changed, 0 insertions, 0 deletions