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 /source/Api.hs | |
| parent | e82c1b73bba5987a176d6d33bd1dbcc5bedf0bbd (diff) | |
Completed proofs [stable]
Diffstat (limited to 'source/Api.hs')
0 files changed, 0 insertions, 0 deletions