Skip to content
Lean Action CI

Complete proof of Kleene's theorem epsilon NFA to regex direction #128

Sign in to view logs

Complete proof of Kleene's theorem epsilon NFA to regex direction

Complete proof of Kleene's theorem epsilon NFA to regex direction #128

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
4s
4s