1 ▲ 1 ▼ 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 comment fedilink