Skip to content

Actions: FordUniver/LeanBlockCourse26

Actions

Deploy GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
237 workflow runs
237 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 #237: Commit 11b3cf4 pushed by FordUniver
54s main
main
54s
added partial proof Deploy GitHub Pages #236: Commit 8703aa0 pushed by FordUniver
51s main
main
51s
fixed typo Deploy GitHub Pages #235: Commit 898608e pushed by FordUniver
44s main
main
44s
Deploy GitHub Pages Deploy GitHub Pages #234: by FordUniver
59s main
main
59s
added necessary ingredients for full handhsaking proof Deploy GitHub Pages #233: Commit a980d92 pushed by FordUniver
52s main
main
52s
some notation and import reorg Deploy GitHub Pages #232: Commit ec8ad45 pushed by FordUniver
44s main
main
44s
added handwritten proof and mathlib research tasks Deploy GitHub Pages #231: Commit c5cc0d4 pushed by FordUniver
58s main
main
58s
Merge pull request #16 from FordUniver/tfae_have_2_to_3 Deploy GitHub Pages #230: Commit ef07c7c pushed by FordUniver
42s main
main
42s
S01: uncomment TFAE item 9 (cardinal ℵ₀) and prove 8 → 2, 2 → 8 Deploy GitHub Pages #229: Commit d1fc2ea pushed by FordUniver
50s main
main
50s
added additional comment Deploy GitHub Pages #228: Commit 37f99a1 pushed by FordUniver
40s main
main
40s
S01: convert TFAE block comments to single-line, remove Daniel attrib… Deploy GitHub Pages #227: Commit 68cd902 pushed by FordUniver
46s main
main
46s
add proof for 3 → 5 (from template) Deploy GitHub Pages #226: Commit 1dd5f4a pushed by FordUniver
52s main
main
52s
fix typos in S02 handshaking lemma intro Deploy GitHub Pages #225: Commit ea593c7 pushed by FordUniver
39s main
main
39s
Added P06S02 Template Deploy GitHub Pages #224: Commit f808b5b pushed by FordUniver
45s main
main
45s
fixed formatting for a complete proof Deploy GitHub Pages #223: Commit 8919da6 pushed by FordUniver
48s main
main
48s
Merge pull request #12 from FordUniver/3_to_4 Deploy GitHub Pages #222: Commit 8e40641 pushed by FordUniver
1m 6s main
main
1m 6s
Merge pull request #13 from FordUniver/artulean_branch Deploy GitHub Pages #221: Commit 8449ddf pushed by FordUniver
52s main
main
52s
Merge pull request #15 from FordUniver/tfae_have_5_4 Deploy GitHub Pages #220: Commit 84d179b pushed by FordUniver
41s main
main
41s
Merge pull request #5 from FordUniver/onats-branch Deploy GitHub Pages #219: Commit 4ba5bdb pushed by FordUniver
1m 14s main
main
1m 14s
Merge pull request #6 from theottm/5_to_6 Deploy GitHub Pages #218: Commit b50d8ba pushed by FordUniver
42s main
main
42s
Merge pull request #14 from carabennett/caras-branch Deploy GitHub Pages #217: Commit 106332d pushed by FordUniver
44s main
main
44s
Merge pull request #7 from FordUniver/tfae_have_1_6 Deploy GitHub Pages #216: Commit 97d3850 pushed by FordUniver
1m 7s main
main
1m 7s
Merge pull request #9 from FordUniver/feat/primes-tfae-6-1 Deploy GitHub Pages #215: Commit 8b677b6 pushed by FordUniver
1m 18s main
main
1m 18s
Merge pull request #10 from FordUniver/one_to_three Deploy GitHub Pages #214: Commit 7e2797d pushed by FordUniver
53s main
main
53s
Merge pull request #8 from FordUniver/one_to_five Deploy GitHub Pages #213: Commit 8d6ee67 pushed by FordUniver
47s main
main
47s