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