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