From b59a93fbb21a48438730f769cf9f0c3ba657151c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Schwarzentruber?=
 <43071857+francoisschwarzentruber@users.noreply.github.com>
Date: Thu, 14 Mar 2024 18:43:19 +0100
Subject: [PATCH] Update README.md

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index 953aa6c..a18a183 100644
--- a/README.md
+++ b/README.md
@@ -6,3 +6,8 @@ This tool provides exercices in formal logic, more precisely for proof systems.
 Be sure to have installed tsc, the TypeScript compiler.
 Run `tsc` in the root folder.
 The release version is then in the folder `dist`. You may launch it with `python -m http.server`.
+
+
+## Acknowledgement
+
+Thanks to Thibaut Antoine for having developed the module for sequent calculus.