Skip to content

Actions: artulean/LeanBlockCourse26

Actions

Deploy GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
43 workflow runs
43 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 necessary ingredients for full handhsaking proof Deploy GitHub Pages #43: Commit a980d92 pushed by artulean
29s main
main
29s
some notation and import reorg Deploy GitHub Pages #42: Commit ec8ad45 pushed by artulean
27s main
main
27s
S01: uncomment TFAE item 9 (cardinal ℵ₀) and prove 8 → 2, 2 → 8 Deploy GitHub Pages #41: Commit d1fc2ea pushed by artulean
24s main
main
24s
added infinite subtype statement Deploy GitHub Pages #40: Commit 6fd3c0a pushed by artulean
25s main
main
25s
added P06S01 Deploy GitHub Pages #39: Commit 5f6d581 pushed by artulean
48s main
main
48s
removed exercise tag Deploy GitHub Pages #38: Commit 9eb84a2 pushed by artulean
36s main
main
36s
added P05S06B01 Deploy GitHub Pages #37: Commit 64278e1 pushed by artulean
23s main
main
23s
completed B02 Deploy GitHub Pages #36: Commit 4d871af pushed by artulean
26s main
main
26s
added simp tactic info and B02 Deploy GitHub Pages #35: Commit 3605f80 pushed by artulean
19s main
main
19s
added simp example exercise Deploy GitHub Pages #34: Commit 86d63bc pushed by artulean
22s main
main
22s
fix: convert induction' to induction with in S04, minor typo Deploy GitHub Pages #33: Commit 2b0e8c1 pushed by artulean
25s main
main
25s
add P05S03 Multiplication exercises from template Deploy GitHub Pages #32: Commit dba4939 pushed by artulean
20s main
main
20s
added P05S02 up to B02 Deploy GitHub Pages #31: Commit 09ca81a pushed by artulean
20s main
main
20s
fix: consistent formatting and typos across P01–P05 Deploy GitHub Pages #30: Commit 2085f9d pushed by artulean
31s main
main
31s
added P05S02 up to B01 Deploy GitHub Pages #29: Commit 10e959d pushed by artulean
23s main
main
23s
added ninth peano axiom as an exercise to B03 Deploy GitHub Pages #28: Commit 7d3d935 pushed by artulean
43s main
main
43s
added P05S01 up to B02 Deploy GitHub Pages #27: Commit 36a2353 pushed by artulean
20s main
main
20s
refactor(p03,p04): align main imports and type theory materials Deploy GitHub Pages #26: Commit 8ae0f44 pushed by artulean
24s main
main
24s
added verified computational example with propFilter_sound exercise Deploy GitHub Pages #25: Commit 99de754 pushed by artulean
25s main
main
25s
P01: proofread fixes across S04 and S05 Deploy GitHub Pages #24: Commit 37421c7 pushed by artulean
25s main
main
25s
addded P03S02 up to B02 Deploy GitHub Pages #23: Commit 759146a pushed by artulean
23s main
main
23s
style: lemma → theorem throughout, fix trailing whitespace and double… Deploy GitHub Pages #22: Commit 5a99f81 pushed by artulean
50s main
main
50s
added P03S01 up to B01 Deploy GitHub Pages #21: Commit fde42b0 pushed by artulean
33s main
main
33s
added Exercise 2.10 Deploy GitHub Pages #20: Commit 7df49b8 pushed by artulean
21s main
main
21s
added P02S01B02 Deploy GitHub Pages #19: Commit e86e412 pushed by artulean
23s main
main
23s