Skip to content

Actions: forked-from-1kasper/ground_zero

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

notation & some delaborators & minor renamings CI #136: Commit f4c870c pushed by forked-from-1kasper
November 9, 2023 17:13 1m 28s master
master
November 9, 2023 17:13 1m 28s
“hott” attribute for examples CI #135: Commit 14636a1 pushed by forked-from-1kasper
November 9, 2023 13:20 1m 54s master
master
November 9, 2023 13:20 1m 54s
make “hset ℤ” constructive & some renamings CI #134: Commit 1e90325 pushed by forked-from-1kasper
November 9, 2023 12:00 1m 48s master
master
November 9, 2023 12:00 1m 48s
pretty-printer things CI #133: Commit a141fd1 pushed by forked-from-1kasper
November 8, 2023 17:10 2m 25s master
master
November 8, 2023 17:10 2m 25s
better naming & a lot more of higher path algebra CI #132: Commit ef976e7 pushed by forked-from-1kasper
November 8, 2023 14:04 3m 5s master
master
November 8, 2023 14:04 3m 5s
a bit of crazy higher path algebra CI #131: Commit 2fa43e1 pushed by forked-from-1kasper
November 7, 2023 16:36 1m 27s master
master
November 7, 2023 16:36 1m 27s
recursion principle for Sⁿ CI #130: Commit ae97c25 pushed by forked-from-1kasper
November 6, 2023 04:30 1m 19s master
master
November 6, 2023 04:30 1m 19s
some explanations CI #129: Commit 3c19feb pushed by forked-from-1kasper
November 5, 2023 10:12 1m 54s master
master
November 5, 2023 10:12 1m 54s
fix CI #128: Commit f475fc1 pushed by forked-from-1kasper
November 5, 2023 06:20 1m 27s master
master
November 5, 2023 06:20 1m 27s
example CI #127: Commit 5f1f26f pushed by forked-from-1kasper
November 5, 2023 06:20 1m 26s master
master
November 5, 2023 06:20 1m 26s
windRev CI #126: Commit d5eee8e pushed by forked-from-1kasper
November 4, 2023 17:06 1m 26s master
master
November 4, 2023 17:06 1m 26s
shuffle theorems a bit to simplify proof CI #125: Commit afa7a09 pushed by forked-from-1kasper
November 4, 2023 15:36 1m 25s master
master
November 4, 2023 15:36 1m 25s
nice observation CI #124: Commit adfe325 pushed by forked-from-1kasper
November 4, 2023 15:06 2m 6s master
master
November 4, 2023 15:06 2m 6s
refl → idp & map → ap & something in Hopf.lean CI #123: Commit fb21f36 pushed by forked-from-1kasper
November 4, 2023 13:00 2m 3s master
master
November 4, 2023 13:00 2m 3s
simple example CI #122: Commit ead4cbb pushed by forked-from-1kasper
November 3, 2023 17:41 1m 26s master
master
November 3, 2023 17:41 1m 26s
decomposition of elements of S¹ → S¹ & some theorems CI #121: Commit 6d96b04 pushed by forked-from-1kasper
November 3, 2023 14:08 2m 10s master
master
November 3, 2023 14:08 2m 10s
(S¹ → S¹) ≃ ℤ × S¹ & (S¹ ≃ S¹) ≃ S¹ + S¹ CI #120: Commit 5b61783 pushed by forked-from-1kasper
November 3, 2023 12:10 1m 47s master
master
November 3, 2023 12:10 1m 47s
important lemma CI #119: Commit 223e6cf pushed by forked-from-1kasper
November 2, 2023 17:26 2m 5s master
master
November 2, 2023 17:26 2m 5s
degree of bijection & some theorems about ℤ CI #118: Commit 0a1a919 pushed by forked-from-1kasper
November 2, 2023 17:04 1m 54s master
master
November 2, 2023 17:04 1m 54s
degree (f ∘ g) & refactor Integer.lean CI #117: Commit 793b7d4 pushed by forked-from-1kasper
November 2, 2023 12:01 1m 56s master
master
November 2, 2023 12:01 1m 56s
define “degree” of S¹ → S¹ map & generalize some results & prove some… CI #116: Commit 69b9440 pushed by forked-from-1kasper
November 2, 2023 07:47 1m 19s master
master
November 2, 2023 07:47 1m 19s
“rec base” injectivity & some simple lemmas CI #115: Commit 4b28774 pushed by forked-from-1kasper
October 31, 2023 17:10 1m 47s master
master
October 31, 2023 17:10 1m 47s
delaborators CI #114: Commit 0d733b0 pushed by forked-from-1kasper
October 31, 2023 11:11 2m 23s master
master
October 31, 2023 11:11 2m 23s
formatting CI #113: Commit 9f83f7c pushed by forked-from-1kasper
August 1, 2023 14:51 1m 48s master
master
August 1, 2023 14:51 1m 48s
formatting CI #112: Commit fb83c4d pushed by forked-from-1kasper
July 31, 2023 13:30 2m 3s master
master
July 31, 2023 13:30 2m 3s