From f6e26212620de411e082cbd52379075ea5a99032 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Sun, 10 Dec 2023 16:15:00 +0530
Subject: init commit rewriting shit

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 README.md

(limited to 'README.md')

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
-- 
cgit v1.3.1