Skip to content

Actions: urkud/SardMoreira

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Start working towards the inverse function thm Compile blueprint #44: Commit 42f1f1a pushed by urkud
January 2, 2025 16:44 6m 48s main
main
January 2, 2025 16:44 6m 48s
Composition of C^{k+(α)} functions Compile blueprint #43: Commit 438752d pushed by urkud
January 1, 2025 19:17 6m 53s main
main
January 1, 2025 19:17 6m 53s
More lemmas, add a missing assumption in the definition Compile blueprint #42: Commit a201332 pushed by urkud
December 31, 2024 06:10 6m 45s main
main
December 31, 2024 06:10 6m 45s
Start a file on Moreira charts Compile blueprint #41: Commit f640089 pushed by urkud
December 30, 2024 06:18 6m 47s main
main
December 30, 2024 06:18 6m 47s
Restrict scalars to ℝ Compile blueprint #40: Commit d93afbe pushed by urkud
December 29, 2024 05:25 7m 32s main
main
December 29, 2024 05:25 7m 32s
Move some lemmas to ContDiff Compile blueprint #39: Commit 9c4f5f6 pushed by urkud
December 29, 2024 04:27 6m 36s main
main
December 29, 2024 04:27 6m 36s
Add a missing corollary Compile blueprint #38: Commit edc875f pushed by urkud
December 29, 2024 03:55 6m 52s main
main
December 29, 2024 03:55 6m 52s
Add some edges to the dependency graph Compile blueprint #37: Commit a97a87c pushed by urkud
December 29, 2024 03:00 19m 5s main
main
December 29, 2024 03:00 19m 5s
Formalize lemmas about lower semicontinuous functions Compile blueprint #36: Commit 92b5973 pushed by urkud
December 29, 2024 02:47 13m 0s main
main
December 29, 2024 02:47 13m 0s
Most (all?) of Section 2 is in the blueprint now Compile blueprint #35: Commit 7964324 pushed by urkud
December 29, 2024 00:43 6m 45s main
main
December 29, 2024 00:43 6m 45s
Fix site.url Compile blueprint #34: Commit 5f38b3e pushed by urkud
December 28, 2024 21:01 7m 35s main
main
December 28, 2024 21:01 7m 35s
Fix CI Compile blueprint #33: Commit 740c243 pushed by urkud
December 28, 2024 20:06 6m 50s main
main
December 28, 2024 20:06 6m 50s
Expand the section on lower semicontinuity Compile blueprint #32: Commit 29cf7b5 pushed by urkud
December 28, 2024 19:59 6m 21s main
main
December 28, 2024 19:59 6m 21s
+2 lemmas Compile blueprint #31: Commit d1e612a pushed by urkud
December 28, 2024 19:16 6m 16s main
main
December 28, 2024 19:16 6m 16s
More content in the blueprint, start UpperLowerSemicontinuous.lean Compile blueprint #30: Commit 1c04229 pushed by urkud
December 28, 2024 18:54 6m 13s main
main
December 28, 2024 18:54 6m 13s
More local properties Compile blueprint #29: Commit 7f12d63 pushed by urkud
December 21, 2024 17:44 6m 41s main
main
December 21, 2024 17:44 6m 41s
feat: prove ContDiffAt.contDiffHolderAt Compile blueprint #28: Commit 53b78c9 pushed by urkud
December 21, 2024 09:29 6m 42s main
main
December 21, 2024 09:29 6m 42s
feat: start proving ContDiffAt.contDiffHolderAt Compile blueprint #27: Commit 67d68c3 pushed by urkud
December 21, 2024 09:04 1m 56s main
main
December 21, 2024 09:04 1m 56s
chore: fix CI Compile blueprint #26: Commit 6c1e2bd pushed by urkud
December 21, 2024 08:15 19m 52s main
main
December 21, 2024 08:15 19m 52s
Minimize imports to fix CI Compile blueprint #25: Commit 751b261 pushed by urkud
December 21, 2024 07:51 19m 34s main
main
December 21, 2024 07:51 19m 34s
+1 lemma Compile blueprint #24: Commit c2507d2 pushed by urkud
December 21, 2024 07:00 49m 50s main
main
December 21, 2024 07:00 49m 50s
Clean up and more sorries. Compile blueprint #23: Commit 65c3b55 pushed by grunweg
December 17, 2024 02:29 50m 54s main
main
December 17, 2024 02:29 50m 54s
Cleanup Compile blueprint #22: Commit da0c560 pushed by grunweg
December 17, 2024 01:15 51m 6s main
main
December 17, 2024 01:15 51m 6s
Add a proof Compile blueprint #21: Commit e83bd79 pushed by urkud
December 16, 2024 02:03 21m 14s main
main
December 16, 2024 02:03 21m 14s
Update Compile blueprint #20: Commit 2382494 pushed by urkud
December 16, 2024 00:31 20m 44s main
main
December 16, 2024 00:31 20m 44s