Merge pull request #55 from Girjoaba/beta-patch/02

Beta patch/02
Girjoaba · Sep 2, 2023 · 7a092e4 · 7a092e4
2 parents a15d35a + 6e867a5
commit 7a092e4
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 9 deletions.
diff --git a/Documentation/Eunomia - Everything You Need to Know before Coding.zip b/Documentation/Eunomia - Everything You Need to Know before Coding.zip
diff --git a/Documentation/Eunomia___Everything_You_Need_to_Know_before_Coding-3.pdf b/Documentation/Eunomia___Everything_You_Need_to_Know_before_Coding-3.pdf
diff --git a/README.md b/README.md
@@ -1,20 +1,20 @@
-# Eunomia (Beta 0.2)
+# Eunomia 1.0
 
 ## Project Description
 Eunomia is an educational tool for analyzing the correctness of First Order Logic (FOL) proofs. 
 
-The proof must be written in Fitch Style and returns error messages relevant to the mistake that was made.
+The proof must be written in Fitch Style and the application returns relevant error messages.
 
 ---
 
-## Full Release Roadmap
+## List of Features
 
-- [ ] User Acceptance Test (UAT)
-- [ ] Upload Design Document
-- [x] Feature: Add sample practice proofs
-- [x] Add App Icon
-- [ ] Finesse UI: Shortcut for compile, better saving, any serious things coming up during (UAT)
-- [ ] Improve Accuracy of Error Messages (UAT dependent)
+- A proof editor that auto generates proof bars
+- A compiler that identifies the line where a mistake was made and provides an error message
+- 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
 
 ---