From 252abbce78fd5067dcae102c892724725f0b5b49 Mon Sep 17 00:00:00 2001 From: pingu Date: Fri, 2 Jan 2026 18:29:22 +0100 Subject: [PATCH] Add more info in the readme --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index a62dd14..7f4227e 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,6 @@ -# mambo +# Mambo + +This was my weekend turned a bit more project from Christmas, really fun thinking thingy, would be interesting to show the relation to other similar systems as LTL and CTL. ## Resources used - https://vcvpaiva.github.io/includes/pubs/2011-Basic_Constructive_Modality.pdf