What we’re about
Interested in writing provably correct software? Join us as we explore the world of software verification, with a focus on the Dafny language and related tools like Lean, TLA+, Quint, P, and more.
We'll meet regularly to:
Study verification languages and their semantics
Work through hands-on exercises and example problems
Share ideas, code, and techniques
Build a library of verified software components
Whether you're a beginner or experienced in formal methods, this group is a space to learn, practice, and collaborate. All curious minds welcome!
