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
no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here