We started a small overview of the features of the Formal Methods Playground and how to use it.
The playlist is availabe on YouTube and expected to grow over time. After a quick overview of the common features of the playground, we illustrate the use of different tools by explaining concrete, small examples.
