@lamtrinh259
ποΈ We talked with Gabriela Moreira, CEO of Quint β a tool that lets you write executable specs to verify your software is correct before shipping. AI writes the code, but how do you know it's right? That's what Quint solves. π https://youtu.be/NL-xUDaSrrw