From 010eaaf114f37da93d205f2c3653179c81889dec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Schwarzentruber?=
 <43071857+francoisschwarzentruber@users.noreply.github.com>
Date: Tue, 20 Feb 2024 19:41:12 +0100
Subject: [PATCH] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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`.