Skip to content

Actions: teorth/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
654 workflow runs
654 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix gap in proof in Sec 11.4 Build book #586: Pull request #271 opened by teorth
August 4, 2025 19:27 2m 43s fix-gap
fix-gap
August 4, 2025 19:27 2m 43s
Merge pull request #270 from teorth:ext Build book #585: Commit ddebe4b pushed by teorth
August 4, 2025 17:50 2m 6s main
main
August 4, 2025 17:50 2m 6s
fix bug caused by ext change Build book #584: Pull request #270 opened by teorth
August 4, 2025 17:50 2m 35s ext
ext
August 4, 2025 17:50 2m 35s
Merge pull request #269 from teorth:ext Build book #583: Commit 97f98fd pushed by teorth
August 4, 2025 17:41 1m 53s main
main
August 4, 2025 17:41 1m 53s
tag extensionality as @[ext] in section 3.1 to allow the ext tactic to work Build book #582: Pull request #269 synchronize by teorth
August 4, 2025 17:41 1m 56s ext
ext
August 4, 2025 17:41 1m 56s
Merge pull request #268 from gaearon/coalesce-curry Build book #581: Commit a43e480 pushed by teorth
August 4, 2025 17:15 6m 13s main
main
August 4, 2025 17:15 6m 13s
Fill in some of 3.5, fix numbering Build book #580: Pull request #268 synchronize by gaearon
August 4, 2025 15:47 4m 25s gaearon:coalesce-curry
gaearon:coalesce-curry
August 4, 2025 15:47 4m 25s
Fill in some of 3.5, fix numbering Build book #579: Pull request #268 synchronize by gaearon
August 4, 2025 15:38 6m 39s gaearon:coalesce-curry
gaearon:coalesce-curry
August 4, 2025 15:38 6m 39s
Fill in some of 3.5, fix numbering Build book #578: Pull request #268 opened by gaearon
August 4, 2025 15:23 5m 13s gaearon:coalesce-curry
gaearon:coalesce-curry
August 4, 2025 15:23 5m 13s
Add SetTheory.Set.mem_insert and mark it as simp Build book #577: Pull request #267 synchronize by gaearon
August 4, 2025 13:43 4m 55s gaearon:patch-7
gaearon:patch-7
August 4, 2025 13:43 4m 55s
Add SetTheory.Set.mem_insert and mark it as simp Build book #576: Pull request #267 opened by gaearon
August 4, 2025 13:42 1m 35s gaearon:patch-7
gaearon:patch-7
August 4, 2025 13:42 1m 35s
Merge pull request #266 from teorth:golf Build book #575: Commit 58c793d pushed by teorth
August 4, 2025 02:22 5m 33s main
main
August 4, 2025 02:22 5m 33s
a little more golf Build book #574: Pull request #266 opened by teorth
August 4, 2025 02:22 5m 5s golf
golf
August 4, 2025 02:22 5m 5s
Merge pull request #265 from teorth:golf Build book #573: Commit 05702ac pushed by teorth
August 3, 2025 20:01 7m 52s main
main
August 3, 2025 20:01 7m 52s
null Build book #572: Pull request #265 opened by teorth
August 3, 2025 20:01 7m 24s golf
golf
August 3, 2025 20:01 7m 24s
Merge pull request #264 from ldct/ldct-wavy Build book #571: Commit 5ec85a4 pushed by teorth
August 3, 2025 06:15 3m 35s main
main
August 3, 2025 06:15 3m 35s
Disable wavy red underline for errors Build book #570: Pull request #264 opened by ldct
August 3, 2025 05:35 2m 46s ldct:ldct-wavy
ldct:ldct-wavy
August 3, 2025 05:35 2m 46s
Merge pull request #263 from gaearon/patch-6 Build book #569: Commit 3a881d0 pushed by teorth
August 2, 2025 23:25 4m 44s main
main
August 2, 2025 23:25 4m 44s
Merge pull request #262 from gaearon/patch-5 Build book #568: Commit c6dac02 pushed by teorth
August 2, 2025 23:24 59s main
main
August 2, 2025 23:24 59s
Fill in a bit of SetTheory.Set.prod_equiv_prod Build book #567: Pull request #263 opened by gaearon
August 2, 2025 22:31 4m 11s gaearon:patch-6
gaearon:patch-6
August 2, 2025 22:31 4m 11s
Add equality lemma for mk_cartesian Build book #566: Pull request #262 synchronize by gaearon
August 2, 2025 21:44 4m 2s gaearon:patch-5
gaearon:patch-5
August 2, 2025 21:44 4m 2s
Add equality lemma for mk_cartesian Build book #565: Pull request #262 opened by gaearon
August 2, 2025 21:44 24s gaearon:patch-5
gaearon:patch-5
August 2, 2025 21:44 24s
Merge pull request #261 from teorth:golf Build book #564: Commit 49a11de pushed by teorth
August 2, 2025 19:52 6m 25s main
main
August 2, 2025 19:52 6m 25s
more golf Build book #563: Pull request #261 opened by teorth
August 2, 2025 19:52 6m 6s golf
golf
August 2, 2025 19:52 6m 6s
Merge pull request #260 from teorth:golf Build book #562: Commit 04e8483 pushed by teorth
August 2, 2025 19:01 7m 18s main
main
August 2, 2025 19:01 7m 18s