Complete proof that regular languages are closed under Kleene star · focs-lab/trace-theory-lean@8ad59b7

Triggered via push February 8, 2026 16:02

yisiox

pushed 8ad59b7

ys-working

Status Failure

Total duration 4s

Artifacts –

lean_action_ci.yml

on: push

build

3s

Annotations

1 error

build

The job was not started because recent account payments have failed or your spending limit needs to be increased. Please check the 'Billing & plans' section in your settings

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Complete proof that regular languages are closed under Kleene star #117

Summary

Complete proof that regular languages are closed under Kleene star #117

Uh oh!

lean_action_ci.yml

Annotations