diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-17 02:28:58 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-17 02:28:58 +0200 |
| commit | f2690dcd548d51fa8024fe2410c797aa8af1180b (patch) | |
| tree | d46e132c819008a6977038046ff6f4bbf35d6a2a /vampire-taks-with-unexpacted-behavoir/50-plus-secounds-for-iff-stamtent.p | |
| parent | e82c1b73bba5987a176d6d33bd1dbcc5bedf0bbd (diff) | |
Completed proofs [stable]
Diffstat (limited to 'vampire-taks-with-unexpacted-behavoir/50-plus-secounds-for-iff-stamtent.p')
0 files changed, 0 insertions, 0 deletions