quint-co quint General · Discussions · GitHub

Welcome to Quint Discussions!
Announcements konnov

Sort by: Latest activity

General Discussions

Chat about anything and everything here

You must be logged in to vote

A few issues from a newbie

zmitchell started Oct 26, 2025 in General

2
You must be logged in to vote

Add llms.txt

pierre-H started Feb 7, 2025 in General

1
You must be logged in to vote

User research: discuss and agree on general approach and aims

shonfeder started Sep 19, 2022 in General · Closed

2
You must be logged in to vote

Revisit nested modules
language design Language specification
konnov started Jan 12, 2023 in General

3
[CLOSED] Should we have three different application syntaxes?

bugarela started Mar 18, 2022 in General · Closed

28