Skip to content

Actions: yingalexander4-stack/LeanBlockCourse26

Actions

Deploy GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
59 workflow runs
59 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
completed proof of handshaking lemma Deploy GitHub Pages #59: Commit 11b3cf4 pushed by yingalexander4-stack
24s main
main
24s
added partial proof Deploy GitHub Pages #58: Commit 8703aa0 pushed by yingalexander4-stack
31s main
main
31s
some notation and import reorg Deploy GitHub Pages #57: Commit ec8ad45 pushed by yingalexander4-stack
34s main
main
34s
added handwritten proof and mathlib research tasks Deploy GitHub Pages #56: Commit c5cc0d4 pushed by yingalexander4-stack
36s main
main
36s
Merge pull request #16 from FordUniver/tfae_have_2_to_3 Deploy GitHub Pages #55: Commit ef07c7c pushed by yingalexander4-stack
24s main
main
24s
S01: convert TFAE block comments to single-line, remove Daniel attrib… Deploy GitHub Pages #54: Commit 68cd902 pushed by yingalexander4-stack
25s main
main
25s
fix typos in S02 handshaking lemma intro Deploy GitHub Pages #53: Commit ea593c7 pushed by yingalexander4-stack
30s main
main
30s
fixed formatting for a complete proof Deploy GitHub Pages #52: Commit 8919da6 pushed by yingalexander4-stack
22s main
main
22s
Merge pull request #12 from FordUniver/3_to_4 Deploy GitHub Pages #51: Commit 8e40641 pushed by yingalexander4-stack
25s main
main
25s
Merge pull request #5 from FordUniver/onats-branch Deploy GitHub Pages #50: Commit 4ba5bdb pushed by yingalexander4-stack
24s main
main
24s
Merge pull request #14 from carabennett/caras-branch Deploy GitHub Pages #49: Commit 106332d pushed by yingalexander4-stack
26s main
main
26s
Merge pull request #7 from FordUniver/tfae_have_1_6 Deploy GitHub Pages #48: Commit 97d3850 pushed by yingalexander4-stack
27s main
main
27s
Merge pull request #9 from FordUniver/feat/primes-tfae-6-1 Deploy GitHub Pages #47: Commit 8b677b6 pushed by yingalexander4-stack
24s main
main
24s
restore Bohdan / Kimia attribution on 7↔1 (change belongs in PR #7) Deploy GitHub Pages #46: Commit d767d64 pushed by yingalexander4-stack
23s main
main
23s
added infinite subtype statement Deploy GitHub Pages #45: Commit 6fd3c0a pushed by yingalexander4-stack
1m 7s main
main
1m 7s
added P06S01 Deploy GitHub Pages #44: Commit 5f6d581 pushed by yingalexander4-stack
21s main
main
21s
added proof of challenging induction and cleaned up zero_zero vs zero… Deploy GitHub Pages #43: Commit 2f24073 pushed by yingalexander4-stack
24s main
main
24s
removed exercise tag Deploy GitHub Pages #42: Commit 9eb84a2 pushed by yingalexander4-stack
24s main
main
24s
added P05S06B01 Deploy GitHub Pages #41: Commit 64278e1 pushed by yingalexander4-stack
21s main
main
21s
completed B01 Deploy GitHub Pages #40: Commit 7cc0af2 pushed by yingalexander4-stack
29s main
main
29s
Added tempaltes for S05, S06, and S07 for P05 Deploy GitHub Pages #39: Commit 78a84e3 pushed by yingalexander4-stack
24s main
main
24s
Added P05S05B01 Deploy GitHub Pages #38: Commit 704841e pushed by yingalexander4-stack
26s main
main
26s
added simp example exercise Deploy GitHub Pages #37: Commit 86d63bc pushed by yingalexander4-stack
52s main
main
52s
add P05S03 Multiplication exercises from template Deploy GitHub Pages #36: Commit dba4939 pushed by yingalexander4-stack
40s main
main
40s
added P05S02 up to B02 Deploy GitHub Pages #35: Commit 09ca81a pushed by yingalexander4-stack
36s main
main
36s