Add README.md

Mroik · May 9, 2024 · b183150 · b183150
1 parent 01754f6
commit b183150
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1 @@
+This is an implementation of a proof assistant using the fitch notation.