diff --git a/README.md b/README.md
index a904352..953aa6c 100644
--- a/README.md
+++ b/README.md
@@ -4,5 +4,5 @@ This tool provides exercices in formal logic, more precisely for proof systems.
 
 ## Building the tool
 Be sure to have installed tsc, the TypeScript compiler.
-Run tsc in the root folder.
-The release version is then in the folder dist.
+Run `tsc` in the root folder.
+The release version is then in the folder `dist`. You may launch it with `python -m http.server`.