Skip to content

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny #93

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

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny #93

Triggered via pull request January 3, 2024 12:57
Status Success
Total duration 13m 2s
Artifacts

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in