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