diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-12-22 20:24:43 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-12-22 20:24:43 +0530 |
| commit | 6dd1a626f30558c7cecaf8870a9a52bd12350d8e (patch) | |
| tree | 279728f2837cfb924519bf26de939378b0c78db1 /src/utils/nat.ts | |
| parent | 4a0fb237cac8796e45d7b217db0d808452454820 (diff) | |
| download | ts-theorem-provinator-6dd1a626f30558c7cecaf8870a9a52bd12350d8e.tar.gz ts-theorem-provinator-6dd1a626f30558c7cecaf8870a9a52bd12350d8e.zip | |
refactor: minor refactor of proofs
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions