Lean Action CI

Complete proof of closure of regular languages under concatenation #114

Sign in to view logs

Triggered via push February 7, 2026 10:03

yisiox

ys-working

Status Success

Total duration 3m 23s

Artifacts –

lean_action_ci.yml

on: push