Update README.md

Bram-Hub · May 5, 2021 · 78eca2e · 78eca2e
1 parent 1c35dae
commit 78eca2e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -39,3 +39,8 @@ How to use the application:
   -  this only works for clauses that aren't linked to others
   -  click the premise again to unlink it 
   -  click a different premise to change which is linked
+
+10. To check derivations, click the 'Verify Resolution' button.
+  -  this will check each premise, the conclusion, and the resolution steps
+  -  any errors will be displayed in the error window
+  -  if the derivation is successful the labels will change to 'valid!'