Feedback on the "Basic anatomy" tutorial

[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.

[pdini]

In the Codetour tutorial, if I want to see the Codetour text of a previous step, say Step 5, and I am at Step 12, I need to step back seven times to get to it. It would be nice to be able to see the Step 5 text just by hovering over it (like a tooltip), without leaving Step 12.

The exercises were great, very helpful. Overall I feel I learned something that is likely to stick. Nice work!

[pdini]

Today I noticed that what I ask for above is already available. One just needs to hover the mouse over the desired step in the navigator in the left panel of VS Code and the text from that step pops out. Great! :)

[BMASHRA]

CodeTour tutorial is great for beginners especially. step by step instructions are thorough and makes it easy to follow. Very helpful. Thanks