Skip to content

Actions: berberman/systemf-ln

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Rename operations and lemmas Lean Action CI #36: Commit 22839a8 pushed by berberman
21m 19s master
master
21m 19s
ln_norm tactic Lean Action CI #35: Commit d1dff1e pushed by berberman
21m 34s master
master
21m 34s
Remove aesop attrs Lean Action CI #34: Commit f29e472 pushed by berberman
21m 49s master
master
21m 49s
pick_fresh tactic Lean Action CI #33: Commit 359f9cc pushed by berberman
20m 16s master
master
20m 16s
apply_cofinite tactic Lean Action CI #32: Commit 084454e pushed by berberman
1m 13s master
master
1m 13s
grind Lean Action CI #31: Commit cfff9ac pushed by berberman
21m 29s master
master
21m 29s
Done SN Lean Action CI #30: Commit 80f461e pushed by berberman
22m 24s master
master
22m 24s
WIP Lean Action CI #29: Commit 7caf90c pushed by berberman
22m 17s master
master
22m 17s
WIP SN Lean Action CI #28: Commit 4bbe333 pushed by berberman
22m 43s master
master
22m 43s
Update README Lean Action CI #27: Commit 6c05052 pushed by berberman
22m 4s master
master
22m 4s
One more example Lean Action CI #26: Commit c08613f pushed by berberman
22m 41s master
master
22m 41s
Closed Lean Action CI #25: Commit fb634a7 pushed by berberman
21m 2s master
master
21m 2s
WIP Lean Action CI #24: Commit 059121d pushed by berberman
20m 10s master
master
20m 10s
WIP Lean Action CI #23: Commit 0117173 pushed by berberman
17m 45s master
master
17m 45s
Parallel substitution and lemmas Lean Action CI #22: Commit 30dd38c pushed by berberman
20m 23s master
master
20m 23s
expRel_lam Lean Action CI #21: Commit c1e506b pushed by berberman
17m 12s master
master
17m 12s
WIP logical relations Lean Action CI #20: Commit 1e1ade8 pushed by berberman
20m 55s master
master
20m 55s
Fix examples Lean Action CI #19: Commit 7938437 pushed by berberman
21m 54s master
master
21m 54s
Simplify Lean Action CI #18: Commit e393e19 pushed by berberman
20m 36s master
master
20m 36s
Refactor Context to keep track of bound type variables Lean Action CI #17: Commit f15778b pushed by berberman
22m 1s master
master
22m 1s
Merge pull request #1 from kmill/kmill_1 Lean Action CI #16: Commit 652bbfb pushed by berberman
21m 51s master
master
21m 51s
Add surface syntax Lean Action CI #14: Commit 38cc75d pushed by berberman
20m 56s master
master
20m 56s
Remove LcAt* Lean Action CI #13: Commit fad3236 pushed by berberman
22m 50s master
master
22m 50s
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