1

4

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

submitted 5 months ago by [email protected] to c/[email protected]

0 comments fedilink

Dafny

32 readers

1 users here now

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

founded 5 months ago

MODERATORS

[email protected]