diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-12-10 16:15:00 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-12-10 16:32:23 +0530 |
| commit | f6e26212620de411e082cbd52379075ea5a99032 (patch) | |
| tree | a7a68c681a3e99987f2bb02eebf51616f6a65067 /README.md | |
| download | ts-theorem-provinator-f6e26212620de411e082cbd52379075ea5a99032.tar.gz ts-theorem-provinator-f6e26212620de411e082cbd52379075ea5a99032.zip | |
init commit rewriting shit
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000..ee7b099 --- /dev/null +++ b/README.md @@ -0,0 +1,2 @@ +# Theorem prover in ts types +Experiment to use typescript's type system for theorem proving |