Update README.md

theoremprover-museum · May 22, 2018 · e1acd89 · e1acd89
1 parent 6c84b91
commit e1acd89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -3,4 +3,4 @@ The Muscadet Theorem ProverThe Muscadet theorem prover is a knowledge-based syst
 and uses methods which resemble those used by humans. It is composed of an inference engine, which interprets and executes rules, 
 and of one or several bases of facts, which are the internal representations of “theorems to be proved”.
 Rules are either universal and put into the system, or built by the system itself by metarules from data (definitions and lemmas)
-given by the user. They are in the form if <list of conditions>, then <list of actions>. 
+given by the user.