Skip to content

Actions: leonie1411/LeanBlockCourse26

Actions

Deploy GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
55 workflow runs
55 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 #55: Commit 8703aa0 pushed by leonie1411
28s main
main
28s
Deploy GitHub Pages Deploy GitHub Pages #54: by leonie1411
24s main
main
24s
added handwritten proof and mathlib research tasks Deploy GitHub Pages #53: Commit c5cc0d4 pushed by leonie1411
22s main
main
22s
Merge pull request #16 from FordUniver/tfae_have_2_to_3 Deploy GitHub Pages #52: Commit ef07c7c pushed by leonie1411
27s main
main
27s
Added P06S02 Template Deploy GitHub Pages #51: Commit f808b5b pushed by leonie1411
21s main
main
21s
fixed formatting for a complete proof Deploy GitHub Pages #50: Commit 8919da6 pushed by leonie1411
22s main
main
22s
Merge pull request #12 from FordUniver/3_to_4 Deploy GitHub Pages #49: Commit 8e40641 pushed by leonie1411
23s main
main
23s
Deploy GitHub Pages Deploy GitHub Pages #48: by leonie1411
30s main
main
30s
added proof of challenging induction and cleaned up zero_zero vs zero… Deploy GitHub Pages #47: Commit 2f24073 pushed by leonie1411
29s main
main
29s
removed exercise tag Deploy GitHub Pages #46: Commit 9eb84a2 pushed by leonie1411
23s main
main
23s
added P05S06B01 Deploy GitHub Pages #45: Commit 64278e1 pushed by leonie1411
25s main
main
25s
completed B01 Deploy GitHub Pages #44: Commit 7cc0af2 pushed by leonie1411
29s main
main
29s
Added tempaltes for S05, S06, and S07 for P05 Deploy GitHub Pages #43: Commit 78a84e3 pushed by leonie1411
35s main
main
35s
added simp tactic info and B02 Deploy GitHub Pages #42: Commit 3605f80 pushed by leonie1411
27s main
main
27s
added simp example exercise Deploy GitHub Pages #41: Commit 86d63bc pushed by leonie1411
29s main
main
29s
added calc tactic addendum Deploy GitHub Pages #40: Commit dd7ef67 pushed by leonie1411
22s main
main
22s
added bonus question Deploy GitHub Pages #39: Commit 5364b6d pushed by leonie1411
25s main
main
25s
Added addition solutions and messed up the multiplication file Deploy GitHub Pages #38: Commit c321fe5 pushed by leonie1411
27s main
main
27s
add P05S03 Multiplication exercises from template Deploy GitHub Pages #37: Commit dba4939 pushed by leonie1411
39s main
main
39s
added P05S02 up to B02 Deploy GitHub Pages #36: Commit 09ca81a pushed by leonie1411
53s main
main
53s
fix: consistent formatting and typos across P01–P05 Deploy GitHub Pages #35: Commit 2085f9d pushed by leonie1411
25s main
main
25s
added P05S02 up to B01 Deploy GitHub Pages #34: Commit 10e959d pushed by leonie1411
26s main
main
26s
added ninth peano axiom as an exercise to B03 Deploy GitHub Pages #33: Commit 7d3d935 pushed by leonie1411
29s main
main
29s
added P05S01 up to B02 Deploy GitHub Pages #32: Commit 36a2353 pushed by leonie1411
35s main
main
35s
refactor(p03,p04): align main imports and type theory materials Deploy GitHub Pages #31: Commit 8ae0f44 pushed by leonie1411
20s main
main
20s