Skip to content
Lean Action CI

Update attempt of Kleene's theorem via Kleene's algorithm #124

Sign in to view logs

Update attempt of Kleene's theorem via Kleene's algorithm

Update attempt of Kleene's theorem via Kleene's algorithm #124

Run time

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