@informalsystems
🚀 You're Invited: Quint's Virtual Launch Party!
We're launching Quint to the world. Join us for this milestone event where formal methods become your engineering superpower.
Featuring real-world success stories and the big reveal of our new Rust core.
1 reply
0 recast
1 reaction