diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-12-12 23:44:14 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-12-12 23:50:38 +0530 |
| commit | 3d49bb583227b7669b638c4bb3e9853feae07ae2 (patch) | |
| tree | e62c83fc83dd18374f3f981c44d0cbef9f4f510e /src/nat.ts | |
| parent | a393765df40744aae68dab943e25bad8175bd5c0 (diff) | |
| download | ts-theorem-provinator-3d49bb583227b7669b638c4bb3e9853feae07ae2.tar.gz ts-theorem-provinator-3d49bb583227b7669b638c4bb3e9853feae07ae2.zip | |
refactor: refactorification
Diffstat (limited to 'src/nat.ts')
0 files changed, 0 insertions, 0 deletions