Skip to content

Actions: anliki/LeanBlockCourse26

Actions

Deploy GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
50 workflow runs
50 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
added partial proof Deploy GitHub Pages #50: Commit 8703aa0 pushed by anliki
24s main
main
24s
Deploy GitHub Pages Deploy GitHub Pages #49: by anliki
25s main
main
25s
some notation and import reorg Deploy GitHub Pages #48: Commit ec8ad45 pushed by anliki
24s main
main
24s
Merge pull request #16 from FordUniver/tfae_have_2_to_3 Deploy GitHub Pages #47: Commit ef07c7c pushed by anliki
23s main
main
23s
Added P06S02 Template Deploy GitHub Pages #46: Commit f808b5b pushed by anliki
24s main
main
24s
fixed formatting for a complete proof Deploy GitHub Pages #45: Commit 8919da6 pushed by anliki
23s main
main
23s
Merge pull request #12 from FordUniver/3_to_4 Deploy GitHub Pages #44: Commit 8e40641 pushed by anliki
26s main
main
26s
Merge branch 'FordUniver:main' into main Deploy GitHub Pages #43: Commit 7783ccb pushed by anliki
33s main
main
33s
Merge branch 'FordUniver:main' into main Deploy GitHub Pages #42: Commit 9bdb9c3 pushed by anliki
27s main
main
27s
Merge branch 'FordUniver:main' into main Deploy GitHub Pages #41: Commit 8891183 pushed by anliki
25s main
main
25s
6 -> 3 Deploy GitHub Pages #40: Commit 5f78304 pushed by anliki
27s main
main
27s
pushed prime TFAE assignments Deploy GitHub Pages #39: Commit 02a107a pushed by anliki
47s main
main
47s
added infinite subtype statement Deploy GitHub Pages #38: Commit 6fd3c0a pushed by anliki
22s main
main
22s
added P06S01 Deploy GitHub Pages #37: Commit 5f6d581 pushed by anliki
24s main
main
24s
removed exercise tag Deploy GitHub Pages #36: Commit 9eb84a2 pushed by anliki
25s main
main
25s
added P05S06B01 Deploy GitHub Pages #35: Commit 64278e1 pushed by anliki
25s main
main
25s
Added P05S05B01 Deploy GitHub Pages #34: Commit 704841e pushed by anliki
47s main
main
47s
added simp example exercise Deploy GitHub Pages #33: Commit 86d63bc pushed by anliki
19s main
main
19s
added calc tactic addendum Deploy GitHub Pages #32: Commit dd7ef67 pushed by anliki
1m 9s main
main
1m 9s
add P05S03 Multiplication exercises from template Deploy GitHub Pages #31: Commit dba4939 pushed by anliki
24s main
main
24s
Added P05S01 up to B01 Deploy GitHub Pages #30: Commit 166e180 pushed by anliki
25s main
main
25s
added completeness stub and propFilter_sound proof Deploy GitHub Pages #29: Commit c59790d pushed by anliki
28s main
main
28s
added verified computational example with propFilter_sound exercise Deploy GitHub Pages #28: Commit 99de754 pushed by anliki
22s main
main
22s
P01: proofread fixes across S04 and S05 Deploy GitHub Pages #27: Commit 37421c7 pushed by anliki
22s main
main
22s
addded P03S02 up to B02 Deploy GitHub Pages #26: Commit 759146a pushed by anliki
51s main
main
51s