Skip to content

clearer hypothesis of right-quotient dfa proof (#65) #545

clearer hypothesis of right-quotient dfa proof (#65)

clearer hypothesis of right-quotient dfa proof (#65) #545

Triggered via push November 8, 2023 16:35
Status Success
Total duration 25m 22s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in