quint-co/quint Polls · Discussions · GitHub

Welcome to Quint Discussions!
Announcements konnov

Polls Discussions

Take a vote from the community

You must be logged in to vote

Feedback on the "Basic anatomy" tutorial

konnov started Feb 1, 2023 in Polls

4
You must be logged in to vote

Feedback on the tutorial on Booleans
feedback User feedback
konnov started Jan 16, 2023 in Polls

2
You must be logged in to vote

Feedback on the "Hello, world" tutorial
feedback User feedback
konnov started Jan 13, 2023 in Polls

2
You must be logged in to vote

Feedback on the tutorial on integers
feedback User feedback
konnov started Jan 13, 2023 in Polls

0