Update README.md

nathanael-fijalkow · web-flow · commit c6ece1042636 · 2025-01-09T12:00:52.000+01:00
diff --git a/README.md b/README.md
@@ -1 +1,6 @@
-# Bolt
+# Bolt
+
+Blazingly fast LTL learning.
+
+This main branch is for LTL_f (over finite traces). 
+To learn LTL over infinite traces, using the branch LTL_infty
