Mac · 2 years agoWell-Behaved (Co)algebraic Semantics of Regular Expressions in Dafnyplus-squaredafny.orgexternal-linkmessage-square0linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkWell-Behaved (Co)algebraic Semantics of Regular Expressions in Dafnyplus-squaredafny.orgMac · 2 years agomessage-square0linkfedilink
