diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-07-06 17:55:36 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-07-06 17:55:36 +0200 |
| commit | 698bc0ec8128889aae37a766130e9b193c399b9c (patch) | |
| tree | 2f7690697a13dc7d31728932309d4f280a61ca78 /test/golden/inductive/scanning.golden | |
| parent | c580901e967c6bf0b012017a868a2c360e25370a (diff) | |
Finished the formalization of naturals.
Diffstat (limited to 'test/golden/inductive/scanning.golden')
0 files changed, 0 insertions, 0 deletions