Gabriela Moreira @bugarela.com · 16/04/2026I'm happy to announce that @quint-lang.org is becoming its own company with me as its CEO. I have an incredible team joining me in this new journey as we spin out of Informal Systems into Quint Co. 2142
Bryan (they/them) @chaosgreml.in · 16/04/2026I just learned about you the other day and I’m so excited for you and Quint!!! 010
Gabriela Moreira @bugarela.com · 16/04/2026Quint remains open source at its core, and I'm confident that the ecosystem we are building around it has the value needed to empower our amazing team to expand and maintain tools we'll all be using more and more. 110
