Gabriela Moreira @bugarela.com · Apr 16 I'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.
14 likes 2 replies
?
Replies
I just learned about you the other day and I’m so excited for you and Quint!!!
Quint 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.