update top-level README

Xiaohong Chen · Xiaohong Chen · commit 8d8e5f7d931b · 2019-12-10T20:29:01.000-06:00
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
 # Matching Logic Prover
 
-
+* `prover` contains the matching logic prover, implemented in the K framework.
+* `checker` contains the proof checkers of matching logic.
+* `ml2fol` contains a prototype translation from matching logic to first-order logic in smt2lib format. 
