diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-12-12 17:58:46 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-12-12 18:03:08 +0530 |
| commit | ade99f3f1fc2da1d51a82f1376c61ad609d60ff1 (patch) | |
| tree | 1b0a5a092baae86df93112b76bad948d72bb7df7 /yarn.lock | |
| parent | 60331b72ab37e581b0fb405c2eff862e16b52ac2 (diff) | |
| download | ts-theorem-provinator-ade99f3f1fc2da1d51a82f1376c61ad609d60ff1.tar.gz ts-theorem-provinator-ade99f3f1fc2da1d51a82f1376c61ad609d60ff1.zip | |
feat: associativity and commutativity for addition
Diffstat (limited to 'yarn.lock')
0 files changed, 0 insertions, 0 deletions