- Notifications
You must be signed in to change notification settings - Fork79
-
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. |
What form of the tutorial do you like? The CodeTour tutorial is great 21% The Markdown tutorial is great 35% Both CodeTour and Markdown tutorials are great 42% Both are not great 0% The form is ok, but the content is not 0% 14 votes· |
BetaWas this translation helpful?Give feedback.
All reactions
Replies: 1 comment 1 reply
-
at step#9, the UML diagram is not displayed |
BetaWas this translation helpful?Give feedback.
All reactions
1 reply
-
Same here: vscode 1.88.1, ubuntu 22.04 |
BetaWas this translation helpful?Give feedback.
All reactions
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment