From cb45428b858c049634b2db3cfb6b2d4438cb00fc Mon Sep 17 00:00:00 2001 From: pastred Date: Mon, 28 May 2018 16:31:13 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d663fd6..68948ea 100644 --- 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)