this post was submitted on 01 Feb 2024
4 points (100.0% liked)
Dafny
43 readers
4 users here now
A community for the dafny programming language. https://dafny.org/
founded 10 months ago
MODERATORS
there doesn't seem to be anything here