Skip to content

Actions: SmaniaD/Burkholder

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
127 workflow runs
127 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
latex documentation updated Lean build #36: Commit a0c4aab pushed by SmaniaD
3m 3s main
main
3m 3s
documentation included Lean build #35: Commit f081c45 pushed by SmaniaD
2m 47s main
main
2m 47s
Burkholder for transform martingale proved Lean build #34: Commit 792d3bd pushed by SmaniaD
6m 55s main
main
6m 55s
Update Burkholder.lean Lean build #33: Commit 306a730 pushed by SmaniaD
6m 18s main
main
6m 18s
Update Burkholder.lean Lean build #32: Commit 09e210f pushed by SmaniaD
6m 31s main
main
6m 31s
Majorants fixed Lean build #31: Commit 3a92f02 pushed by SmaniaD
6m 37s main
main
6m 37s
Update Majorant_p_l_2.lean Lean build #30: Commit bffae30 pushed by SmaniaD
6m 31s main
main
6m 31s
fixed main majorant estimate. Proof needs to be fixed Lean build #29: Commit c998456 pushed by SmaniaD
6m 28s main
main
6m 28s
estimates for u Dxu and Dyu fixided, except 3 sorries in p_l_2 Lean build #28: Commit c343898 pushed by SmaniaD
6m 37s main
main
6m 37s
Update Burkholder.lean Lean build #27: Commit 972918f pushed by SmaniaD
6m 22s main
main
6m 22s
Update Burkholder.lean Lean build #26: Commit 0ccfde9 pushed by SmaniaD
6m 25s main
main
6m 25s
Update Burkholder.lean Lean build #25: Commit 06c9997 pushed by SmaniaD
8m 36s main
main
8m 36s
martingale transform case proven? Lean build #24: Commit 17805e4 pushed by SmaniaD
6m 11s main
main
6m 11s
incluindo o caso hk\leq 0 no resultdo da concavidade de u quando p> 2 Lean build #23: Commit 42efbe0 pushed by SmaniaD
6m 24s main
main
6m 24s
case p=2 updated to prove concavity condition when hk<=0 Lean build #22: Commit 0107735 pushed by SmaniaD
6m 14s main
main
6m 14s
proof of uCandidate_hk_negative_leTwo completed. Lean build #21: Commit d84712e pushed by SmaniaD
5m 55s main
main
5m 55s
Update Burkholder.lean Lean build #20: Commit dbeeb1b pushed by SmaniaD
6m 3s main
main
6m 3s
Burkholder inquality statment for martingales included Lean build #19: Commit bfe790e pushed by SmaniaD
5m 30s main
main
5m 30s
Update lake-manifest.json Lean build #18: Commit d7fb21b pushed by SmaniaD
6m 22s main
main
6m 22s
lake-manifest update Lean build #17: Commit f80abad pushed by SmaniaD
9m 27s main
main
9m 27s
using strongly predictable defined locally Lean build #16: Commit c0f5e56 pushed by SmaniaD
5m 37s main
main
5m 37s
name of file updated Lean build #15: Commit baab33b pushed by SmaniaD
5m 26s main
main
5m 26s
unconditional basis for arbitrary fields Lean build #14: Commit cd52c3e pushed by SmaniaD
5m 11s main
main
5m 11s
added characterization of unconditional Schauder basis Lean build #13: Commit 5914a25 pushed by SmaniaD
5m 47s main
main
5m 47s
unconditional basis included Lean build #12: Commit 9f4182a pushed by SmaniaD
5m 37s main
main
5m 37s