@@ -62,7 +62,7 @@ The following rules were included in our proof assistant:
...
@@ -62,7 +62,7 @@ The following rules were included in our proof assistant:
**Step 2:** Choose the sequent you want to apply the inference rule to by clicking the turnstile.
**Step 2:** Choose the sequent you want to apply the inference rule to by clicking the turnstile.
**Step 3:** There will be a dialog where you could select the inference rule and type your answer and expressions. Click submit for validation.
**Step 3:** There will be a dialog where you could select the inference rule and type your answers. Click submit fo submitting each answer, and click check for validation.
**Step 4:** If you are correct, the dialog will disappear, and you could repeat steps 2-3 until you finish your proof.
**Step 4:** If you are correct, the dialog will disappear, and you could repeat steps 2-3 until you finish your proof.