Skip to content

Actions: speacky081/LeanBlockCourse26

Actions

Deploy GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
44 workflow runs
44 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 #44: Commit a980d92 pushed by speacky081
22s main
main
22s
some notation and import reorg Deploy GitHub Pages #43: Commit ec8ad45 pushed by speacky081
23s main
main
23s
added handwritten proof and mathlib research tasks Deploy GitHub Pages #42: Commit c5cc0d4 pushed by speacky081
32s main
main
32s
S01: uncomment TFAE item 9 (cardinal ℵ₀) and prove 8 → 2, 2 → 8 Deploy GitHub Pages #41: Commit d1fc2ea pushed by speacky081
29s main
main
29s
added P06S01 Deploy GitHub Pages #40: Commit 5f6d581 pushed by speacky081
37s main
main
37s
added proof of challenging induction and cleaned up zero_zero vs zero… Deploy GitHub Pages #39: Commit 2f24073 pushed by speacky081
29s main
main
29s
removed exercise tag Deploy GitHub Pages #38: Commit 9eb84a2 pushed by speacky081
24s main
main
24s
added P05S06B01 Deploy GitHub Pages #37: Commit 64278e1 pushed by speacky081
21s main
main
21s
Added tempaltes for S05, S06, and S07 for P05 Deploy GitHub Pages #36: Commit 78a84e3 pushed by speacky081
37s main
main
37s
added simp tactic info and B02 Deploy GitHub Pages #35: Commit 3605f80 pushed by speacky081
25s main
main
25s
added simp example exercise Deploy GitHub Pages #34: Commit 86d63bc pushed by speacky081
36s main
main
36s
added calc tactic addendum Deploy GitHub Pages #33: Commit dd7ef67 pushed by speacky081
25s main
main
25s
added bonus question Deploy GitHub Pages #32: Commit 5364b6d pushed by speacky081
38s main
main
38s
add P05S03 Multiplication exercises from template Deploy GitHub Pages #31: Commit dba4939 pushed by speacky081
49s main
main
49s
added P05S02 up to B02 Deploy GitHub Pages #30: Commit 09ca81a pushed by speacky081
24s main
main
24s
added P05S02 up to B01 Deploy GitHub Pages #29: Commit 10e959d pushed by speacky081
41s main
main
41s
added ninth peano axiom as an exercise to B03 Deploy GitHub Pages #28: Commit 7d3d935 pushed by speacky081
27s main
main
27s
added P05S01 up to B02 Deploy GitHub Pages #27: Commit 36a2353 pushed by speacky081
36s main
main
36s
Added P05S01 up to B01 Deploy GitHub Pages #26: Commit 166e180 pushed by speacky081
26s main
main
26s
added completeness stub and propFilter_sound proof Deploy GitHub Pages #25: Commit c59790d pushed by speacky081
37s main
main
37s
added verified computational example with propFilter_sound exercise Deploy GitHub Pages #24: Commit 99de754 pushed by speacky081
23s main
main
23s
P01: proofread fixes across S04 and S05 Deploy GitHub Pages #23: Commit 37421c7 pushed by speacky081
27s main
main
27s
addded P03S02 up to B02 Deploy GitHub Pages #22: Commit 759146a pushed by speacky081
23s main
main
23s
style: lemma → theorem throughout, fix trailing whitespace and double… Deploy GitHub Pages #21: Commit 5a99f81 pushed by speacky081
42s main
main
42s
added P03S01 up to B01 Deploy GitHub Pages #20: Commit fde42b0 pushed by speacky081
24s main
main
24s