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 /library/relation/equivalence.tex | |
| 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 'library/relation/equivalence.tex')
0 files changed, 0 insertions, 0 deletions