clearer hypothesis of right-quotient dfa proof #544

Sign in to view logs

Triggered via pull request November 7, 2023 11:00

palmskog

opened #65

dfa-accept

Status Success

Total duration 22m 57s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build