Skip to content

Actions: Second-Last/ltlc.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Finish lam case for subst_lemma Lean Action CI #4: Commit 348ba56 pushed by Second-Last
December 19, 2024 01:52 1m 46s master
master
December 19, 2024 01:52 1m 46s
Add equal length requirement to Context equivalent Lean Action CI #3: Commit 400c8e9 pushed by Second-Last
December 16, 2024 00:44 1m 45s master
master
December 16, 2024 00:44 1m 45s
Add project description Lean Action CI #2: Commit 88bd5d9 pushed by Second-Last
December 15, 2024 23:51 1m 24s master
master
December 15, 2024 23:51 1m 24s
Use Bound in preservation Lean Action CI #1: Commit 9ce63f8 pushed by Second-Last
December 15, 2024 23:32 2m 20s master
master
December 15, 2024 23:32 2m 20s