Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny #90
Triggered via pull request
January 3, 2024 11:44
stefan-aws
Status
Success
Total duration
1h 13m 6s
Artifacts
–