Skip to content

Actions: urkud/DeRhamCohomology

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try to prove norm_map'
Lean Action CI #48: Commit c6b2989 pushed by MetalCreator666
December 20, 2024 12:00 1m 40s SL-wedge-product
December 20, 2024 12:00 1m 40s
Additions to LinearIsometryEquiv.flipMultilinear
Lean Action CI #47: Commit 334fbe5 pushed by MetalCreator666
December 18, 2024 15:21 2m 24s SL-wedge-product
December 18, 2024 15:21 2m 24s
Add Emacs local variables
Lean Action CI #46: Commit 1123c8d pushed by urkud
December 9, 2024 13:47 1m 33s main
December 9, 2024 13:47 1m 33s
Add a missing uses
Lean Action CI #45: Commit e9528ec pushed by urkud
December 9, 2024 12:38 1m 30s main
December 9, 2024 12:38 1m 30s
Added ederiv properties
Lean Action CI #44: Pull request #15 opened by MetalCreator666
December 9, 2024 11:21 1m 48s SL-ederiv-properties
December 9, 2024 11:21 1m 48s
Move usepackage{todonotes}, fix labels and uses
Lean Action CI #43: Commit 3f2d4dd pushed by urkud
December 9, 2024 04:53 1m 54s main
December 9, 2024 04:53 1m 54s
Review&expand blueprint
Lean Action CI #42: Commit 84b8058 pushed by urkud
December 9, 2024 01:31 1m 52s main
December 9, 2024 01:31 1m 52s
Blueprint updates
Lean Action CI #41: Commit 281a5e9 pushed by urkud
December 9, 2024 00:23 1m 28s main
December 9, 2024 00:23 1m 28s
Start proving $f^*dω=d(f^*ω)$
Lean Action CI #40: Commit ffc23a2 pushed by urkud
December 8, 2024 04:49 1m 24s main
December 8, 2024 04:49 1m 24s
Add more theorems to the blueprint
Lean Action CI #39: Commit ed64f6c pushed by urkud
December 8, 2024 02:28 1m 30s main
December 8, 2024 02:28 1m 30s
Add content to the blueprint
Lean Action CI #38: Commit 23ca2d3 pushed by urkud
December 7, 2024 22:12 1m 24s main
December 7, 2024 22:12 1m 24s
Added ederiv properties
Lean Action CI #37: Commit cbd763e pushed by MetalCreator666
December 6, 2024 17:22 1m 48s SL-ederiv-properties
December 6, 2024 17:22 1m 48s
Merge pull request #13 from urkud/SL-Differential-Form
Lean Action CI #36: Commit cabb7ee pushed by MetalCreator666
December 6, 2024 12:49 1m 26s SL-ederiv-properties
December 6, 2024 12:49 1m 26s
More setup changes
Lean Action CI #35: Commit 7d586fe pushed by MetalCreator666
December 6, 2024 12:25 2m 7s SL-wedge-product
December 6, 2024 12:25 2m 7s
Merge pull request #13 from urkud/SL-Differential-Form
Lean Action CI #34: Commit cabb7ee pushed by MetalCreator666
December 4, 2024 15:49 2m 33s main
December 4, 2024 15:49 2m 33s
feat: define DifferentialForm.pullback
Lean Action CI #33: Pull request #13 synchronize by MetalCreator666
December 4, 2024 15:46 1m 58s SL-Differential-Form
December 4, 2024 15:46 1m 58s
Merge branch 'main' into SL-pullback
Lean Action CI #32: Commit 759bd17 pushed by MetalCreator666
December 4, 2024 15:46 1m 39s SL-Differential-Form
December 4, 2024 15:46 1m 39s
Merge pull request #14 from urkud/SL-ederivWithin
Lean Action CI #31: Commit 105e58c pushed by MetalCreator666
December 4, 2024 15:42 1m 54s main
December 4, 2024 15:42 1m 54s
ederivWithin
Lean Action CI #30: Pull request #14 synchronize by MetalCreator666
December 4, 2024 15:38 2m 15s SL-ederivWithin
December 4, 2024 15:38 2m 15s
Added ederivWithin_univ
Lean Action CI #29: Commit 56da7da pushed by MetalCreator666
December 4, 2024 15:38 2m 10s SL-ederivWithin
December 4, 2024 15:38 2m 10s
feat: define DifferentialForm.pullback
Lean Action CI #28: Pull request #13 synchronize by MetalCreator666
December 4, 2024 15:23 2m 10s SL-Differential-Form
December 4, 2024 15:23 2m 10s
Update after review
Lean Action CI #27: Commit 8e991b7 pushed by MetalCreator666
December 4, 2024 15:23 1m 55s SL-Differential-Form
December 4, 2024 15:23 1m 55s
ederivWithin
Lean Action CI #26: Pull request #14 opened by MetalCreator666
December 3, 2024 13:10 1m 34s SL-ederivWithin
December 3, 2024 13:10 1m 34s
ederivWithin + lemmas
Lean Action CI #25: Commit e42c5c7 pushed by MetalCreator666
December 3, 2024 13:08 1m 36s SL-ederivWithin
December 3, 2024 13:08 1m 36s
Fix the remaining sorry
Lean Action CI #24: Commit 3cccb15 pushed by MetalCreator666
December 3, 2024 10:54 1m 28s SL-ederivWithin
December 3, 2024 10:54 1m 28s