Skip to content

Actions: amarmaduke/lean-stlc

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
34 workflow runs
34 workflow runs

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
pin leansubst version Lean Action CI #34: Commit 28e48db pushed by amarmaduke
44s main
main
44s
cleaned up some lemmas Lean Action CI #33: Commit c8bcea7 pushed by JasonAlanVeenendaal
46s main
main
46s
finished proving fundamental Lean Action CI #32: Commit 4126074 pushed by JasonAlanVeenendaal
42s main
main
42s
Merge branch 'main' of github.com:amarmaduke/lean-stlc Lean Action CI #31: Commit 411c4d2 pushed by JasonAlanVeenendaal
47s main
main
47s
add dev container Lean Action CI #30: Commit 4fde837 pushed by amarmaduke
48s main
main
48s
added case, products, and unit Lean Action CI #29: Commit 4361e6a pushed by JasonAlanVeenendaal
48s main
main
48s
added plus and proved fundamental Lean Action CI #28: Commit a478919 pushed by JasonAlanVeenendaal
43s main
main
43s
work on strong norm Lean Action CI #27: Commit 2ec4c7c pushed by amarmaduke
53s main
main
53s
removed \McR from SnNor Lean Action CI #26: Commit ff2f044 pushed by JasonAlanVeenendaal
35s main
main
35s
broken mess for jason Lean Action CI #25: Commit f127379 pushed by amarmaduke
44s main
main
44s
more cleanup Lean Action CI #24: Commit 9c82688 pushed by amarmaduke
44s main
main
44s
more cleanup Lean Action CI #23: Commit 9c82688 pushed by amarmaduke
56s andrew
andrew
56s
refactor proofs to agda-style Lean Action CI #22: Commit 6e127b2 pushed by amarmaduke
42s andrew
andrew
42s
fix SNi proofs Lean Action CI #21: Commit 284bc73 pushed by amarmaduke
40s andrew
andrew
40s
fill in some SNi proofs Lean Action CI #20: Commit fc7a8df pushed by amarmaduke
44s andrew
andrew
44s
work on being less of a mess Lean Action CI #19: Commit c565bfd pushed by amarmaduke
43s andrew
andrew
43s
update leansubst and lilac Lean Action CI #18: Commit 652734a pushed by amarmaduke
37s main
main
37s
try a different nat model Lean Action CI #17: Commit e98fc6d pushed by amarmaduke
30s main
main
30s
nat value added Lean Action CI #16: Commit c5ae05d pushed by JasonAlanVeenendaal
33s main
main
33s
setup draft for jason Lean Action CI #15: Commit c61500e pushed by amarmaduke
36s main
main
36s
added system t Lean Action CI #14: Commit 04039d7 pushed by JasonAlanVeenendaal
26s main
main
26s
update leansubst Lean Action CI #13: Commit 87a9332 pushed by amarmaduke
32s main
main
32s
update deps and refactor Lean Action CI #12: Commit 1d8b8c5 pushed by amarmaduke
32s main
main
32s
update deps and notation Lean Action CI #11: Commit 2a09a28 pushed by amarmaduke
31s main
main
31s
add soundness of sn Lean Action CI #10: Commit 6d11e41 pushed by amarmaduke
32s main
main
32s