this post was submitted on 01 Feb 2024
1 points (100.0% liked)

Dafny

32 readers
1 users here now

A community for the dafny programming language. https://dafny.org/

founded 1 year ago
MODERATORS
Vacant@programming.dev
1
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny (dafny.org)
submitted 1 year ago by mac@programming.dev to c/dafny@programming.dev
0 comments fedilink hide all child comments
no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here