Skip to content

Actions: berberman/systemf-ln

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add boehm berarducci encoding example Lean Action CI #12: Commit a2b48b3 pushed by berberman
19m 4s master
master
19m 4s
Progress Lean Action CI #11: Commit 4742692 pushed by berberman
21m 17s master
master
21m 17s
Preservation Lean Action CI #10: Commit cf10c5c pushed by berberman
21m 6s master
master
21m 6s
Try aesop Lean Action CI #9: Commit 47f3313 pushed by berberman
22m 28s aesop
aesop
22m 28s
Fix Lean Action CI #8: Commit 31a43cb pushed by berberman
21m 2s master
master
21m 2s
Add missing openTy_fvar Lean Action CI #7: Commit 38498c4 pushed by berberman
1m 12s master
master
1m 12s
Define small-step semantics Lean Action CI #6: Commit 227d2cf pushed by berberman
21m 27s master
master
21m 27s
Refactor project structure Lean Action CI #5: Commit e42fbfc pushed by berberman
21m 23s master
master
21m 23s
Prove substitution lemma for terms Lean Action CI #4: Commit 150eaa4 pushed by berberman
21m 26s master
master
21m 26s
Prove openTm_substTm_comm Lean Action CI #3: Commit c2f40f3 pushed by berberman
21m 29s master
master
21m 29s
Show termination in lcAtTy0_implies_lcTy Lean Action CI #2: Commit c331448 pushed by berberman
22m 23s master
master
22m 23s
Initial commit Create Release #1: Commit 5778e6a pushed by berberman
8s master
master
8s
Initial commit Lean Action CI #1: Commit 5778e6a pushed by berberman
21m 53s master
master
21m 53s