Add link to manual

nick8325 · Sep 11, 2017 · c83bfde · c83bfde
1 parent 6ca3d03
commit c83bfde
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -20,3 +20,5 @@ format (http://www.tptp.org). You can find a few examples in the
 `tests` directory. All axioms and conjectures must be equations, but
 you can freely use quantifiers. If it succeeds in proving your
 problem, twee will print a human-readable proof.
+
+For the official manual, see http://nick8325.github.io/twee.