Dafny

32 readers

4 users here now

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

founded 2 years ago

MODERATORS

Vacant@programming.dev

1

4

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny (dafny.org)

submitted 2 years ago by mac@programming.dev to c/dafny@programming.dev

0 comments fedilink