Update README.md

Girjoaba · Sep 2, 2023 · 6e867a5 · 6e867a5
1 parent 8d1c626
commit 6e867a5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -14,6 +14,7 @@ The proof must be written in Fitch Style and the application returns relevant er
 - A tab which describes how to correctly line each logical rule
 - A tab providing a few practice proofs
 - A saving/loading system
+- A design document describing the technical aspects of the application in the "Documentation" folder
 
 ---