diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-16 23:05:43 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-16 23:05:43 +0200 |
| commit | e82c1b73bba5987a176d6d33bd1dbcc5bedf0bbd (patch) | |
| tree | e95f8b17688be4f9e66f82109851ab88369d4b5f /test/golden/proofdefinefunction | |
| parent | ab4ddd9d49349ddb781514b6b0e9060db5b66a22 (diff) | |
First implementation of basic relations of closed and open.
Not finished.
Diffstat (limited to 'test/golden/proofdefinefunction')
0 files changed, 0 insertions, 0 deletions