Skip to content

Actions: amarmaduke/lean-stlc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 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
cleaned up some lemmas Lean Action CI #33: Commit c8bcea7 pushed by JasonAlanVeenendaal
46s main
main
46s
cleaned up some lemmas Build the project and deploy to GitHub Pages #25: Commit c8bcea7 pushed by JasonAlanVeenendaal
52s main
main
52s
finished proving fundamental Lean Action CI #32: Commit 4126074 pushed by JasonAlanVeenendaal
42s main
main
42s
finished proving fundamental Build the project and deploy to GitHub Pages #24: Commit 4126074 pushed by JasonAlanVeenendaal
44s main
main
44s
Merge branch 'main' of github.com:amarmaduke/lean-stlc Build the project and deploy to GitHub Pages #23: Commit 411c4d2 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
add dev container Build the project and deploy to GitHub Pages #22: Commit 4fde837 pushed by amarmaduke
46s main
main
46s
added case, products, and unit Build the project and deploy to GitHub Pages #21: Commit 4361e6a pushed by JasonAlanVeenendaal
1m 1s main
main
1m 1s
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
added plus and proved fundamental Build the project and deploy to GitHub Pages #20: Commit a478919 pushed by JasonAlanVeenendaal
44s main
main
44s
work on strong norm Lean Action CI #27: Commit 2ec4c7c pushed by amarmaduke
53s main
main
53s
work on strong norm Build the project and deploy to GitHub Pages #19: Commit 2ec4c7c pushed by amarmaduke
38s main
main
38s
removed \McR from SnNor Lean Action CI #26: Commit ff2f044 pushed by JasonAlanVeenendaal
35s main
main
35s
removed \McR from SnNor Build the project and deploy to GitHub Pages #18: Commit ff2f044 pushed by JasonAlanVeenendaal
47s main
main
47s
broken mess for jason Build the project and deploy to GitHub Pages #17: Commit f127379 pushed by amarmaduke
36s main
main
36s
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 Build the project and deploy to GitHub Pages #16: Commit 9c82688 pushed by amarmaduke
42s main
main
42s
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