Update README.md

Signed-off-by: Emanuele Ballarin <[email protected]>
ailab-units · May 19, 2023 · a7567a0 · a7567a0
1 parent 8f296eb
commit a7567a0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,2 +1,2 @@
-# torchCheck
-A fully-differentiable implementation of Signal Temporal Logic semantic trees based on PyTorch library
+# `TorCheck` 🔥✅
+A fully-differentiable implementation of Signal Temporal Logic semantic trees based on PyTorch