aboutsummaryrefslogtreecommitdiff
path: root/src/tests.ts
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2023-12-15 22:06:40 +0530
committerAkshay Nair <phenax5@gmail.com>2023-12-15 22:06:40 +0530
commit505916f3ddcdfc492f95e409d233b96424df3b1a (patch)
tree0e6d70c176a17f22b936847b68721d648b6026a9 /src/tests.ts
parent6f31fc62f9a6ee77d71c5f5fe352e027f495ae9a (diff)
parenta8e8dbdcda173caa790726d6c30bd75e7cc79472 (diff)
downloadts-theorem-provinator-505916f3ddcdfc492f95e409d233b96424df3b1a.tar.gz
ts-theorem-provinator-505916f3ddcdfc492f95e409d233b96424df3b1a.zip
Merge branch 'main' of github.com:phenax/ts-theorem-provinator
Diffstat (limited to 'src/tests.ts')
0 files changed, 0 insertions, 0 deletions