Update README.md

theoremprover-museum · May 28, 2018 · cb45428 · cb45428
1 parent e1acd89
commit cb45428
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,5 +1,5 @@
 # muscadet
-The Muscadet Theorem ProverThe Muscadet theorem prover is a knowledge-based system. It is based on natural deduction, 
+The Muscadet theorem prover is a knowledge-based system. It is based on natural deduction, 
 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)