Update README.md

README.md

@@ -1,6 +1,6 @@
 # Axiom Profiler 2.0
 
-[Runs online](https://viperproject.github.io/axiom-profiler-2/)
+[Runs online](https://viperproject.github.io/axiom-profiler-2/) · [Tutorial](https://github.com/viperproject/axiom-profiler-2/wiki/Tutorial)
 
 A tool for visualising, analysing and understanding quantifier instantiations made via E-matching in a run of an SMT solver (at present, only [Z3](https://github.com/Z3Prover/z3) has been modified to provide the necessary log files).
 The tool takes a log file (which can be generated by Z3 by passing additional command-line options; see below) and presents information visually, primarily using a graph representation of the quantifier instantiations made and their causal connections.