Feedback on the tutorial on Booleans

[konnov]

We are experimenting with different forms of tutorials for Quint. If you have finished the tutorial, please let us know, which kind of the tutorial you like better: the CodeTour tutorial, the Markdown tutorial, or both.

If you have any further suggestions about improving the tutorial, please leave a comment below.

[otrack]

at step #1, the file boolean.qnt is not shown in the editor
(ubuntu 20.04, vscode 1.77.3)