Update README.md

livrelogique · Mar 14, 2024 · b59a93f · b59a93f
1 parent 7532ef1
commit b59a93f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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.