aboutsummaryrefslogtreecommitdiff
path: root/tsconfig.json
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2023-12-22 20:25:12 +0530
committerAkshay Nair <phenax5@gmail.com>2023-12-22 20:25:12 +0530
commit30d5bbb7fd66439a469731d682b8c10336ee57a0 (patch)
tree48563d47f9cfdafc7d6b50071aaa22329b766e37 /tsconfig.json
parent6dd1a626f30558c7cecaf8870a9a52bd12350d8e (diff)
downloadts-theorem-provinator-30d5bbb7fd66439a469731d682b8c10336ee57a0.tar.gz
ts-theorem-provinator-30d5bbb7fd66439a469731d682b8c10336ee57a0.zip
feat: adds SKI combinatorsHEADmain
Diffstat (limited to 'tsconfig.json')
0 files changed, 0 insertions, 0 deletions