PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast
Here you'll find 1 post about Dafny.
Same as Q48989398, programming language.
2025
Deterministically Iterating over a set within Dafny functions
