Skip to content
Lean Action CI

Add lemma that interpreting a RatExp on Trace languages = interpretin… #134

Sign in to view logs

Add lemma that interpreting a RatExp on Trace languages = interpretin…

Add lemma that interpreting a RatExp on Trace languages = interpretin… #134

Triggered via push March 8, 2026 22:59
@jefraijefrai
pushed 2c7a3cd
jeff-working
Status Success
Total duration 3m 12s
Artifacts –

lean_action_ci.yml

on: push
build
3m 7s
build
Fit to window
Zoom out
Zoom in