Skip to content

Actions: RemyDegenne/testing-lower-bounds

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,491 workflow runs
1,491 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix checkdecls .github/workflows/blueprint.yml #91: Commit 8fd29b9 pushed by RemyDegenne
March 18, 2024 12:29 5m 35s master
master
March 18, 2024 12:29 5m 35s
fix some parts of the blueprint. wip .github/workflows/blueprint.yml #90: Commit 0ac7a9f pushed by RemyDegenne
March 18, 2024 12:19 5m 43s master
master
March 18, 2024 12:19 5m 43s
fix def of fDiv; blueprint is out of sync with code .github/workflows/blueprint.yml #89: Commit 4c6867c pushed by RemyDegenne
March 18, 2024 07:47 6m 7s master
master
March 18, 2024 07:47 6m 7s
blueprint: proof of fDiv_le_compProd .github/workflows/blueprint.yml #88: Commit 833148d pushed by RemyDegenne
March 15, 2024 12:43 7m 8s master
master
March 15, 2024 12:43 7m 8s
minor .github/workflows/blueprint.yml #87: Commit ccfcc5a pushed by RemyDegenne
March 15, 2024 07:34 6m 58s master
master
March 15, 2024 07:34 6m 58s
work around integrability, wip .github/workflows/blueprint.yml #86: Commit 51013f1 pushed by RemyDegenne
March 15, 2024 07:21 6m 13s master
master
March 15, 2024 07:21 6m 13s
blueprint: more about Renyi .github/workflows/blueprint.yml #85: Commit f7a485e pushed by RemyDegenne
March 14, 2024 16:18 6m 55s master
master
March 14, 2024 16:18 6m 55s
blueprint: change renyi def .github/workflows/blueprint.yml #84: Commit 8826dbf pushed by RemyDegenne
March 14, 2024 15:44 6m 34s master
master
March 14, 2024 15:44 6m 34s
convexity of the renyi fun (wip) .github/workflows/blueprint.yml #83: Commit 497c2c2 pushed by RemyDegenne
March 14, 2024 14:05 8m 33s master
master
March 14, 2024 14:05 8m 33s
define Rényi div .github/workflows/blueprint.yml #82: Commit ecd4977 pushed by RemyDegenne
March 14, 2024 13:37 6m 13s master
master
March 14, 2024 13:37 6m 13s
fix kl definition .github/workflows/blueprint.yml #81: Commit 7ed21a2 pushed by RemyDegenne
March 14, 2024 12:44 6m 16s master
master
March 14, 2024 12:44 6m 16s
remove tcolorbox: does not work on web version .github/workflows/blueprint.yml #80: Commit d86c49b pushed by RemyDegenne
March 14, 2024 12:22 7m 4s master
master
March 14, 2024 12:22 7m 4s
test tcolorbox .github/workflows/blueprint.yml #79: Commit 8c140c5 pushed by RemyDegenne
March 14, 2024 12:14 6m 0s master
master
March 14, 2024 12:14 6m 0s
prove fDiv_add_linear .github/workflows/blueprint.yml #78: Commit 0aca242 pushed by RemyDegenne
March 14, 2024 11:11 7m 16s master
master
March 14, 2024 11:11 7m 16s
prove basic fDiv lemmas .github/workflows/blueprint.yml #77: Commit b0bff4b pushed by RemyDegenne
March 14, 2024 10:58 6m 17s master
master
March 14, 2024 10:58 6m 17s
blueprint: add rnDeriv def .github/workflows/blueprint.yml #76: Commit eade0b4 pushed by RemyDegenne
March 14, 2024 10:20 6m 5s master
master
March 14, 2024 10:20 6m 5s
prove fDiv_compProd_right .github/workflows/blueprint.yml #75: Commit c3c00cd pushed by RemyDegenne
March 14, 2024 09:43 6m 45s master
master
March 14, 2024 09:43 6m 45s
prove fDivReal_withDensity_rnDeriv .github/workflows/blueprint.yml #74: Commit 274ab7f pushed by RemyDegenne
March 14, 2024 09:12 6m 50s master
master
March 14, 2024 09:12 6m 50s
change def of condFDivReal .github/workflows/blueprint.yml #73: Commit dbeb0ac pushed by RemyDegenne
March 14, 2024 08:53 6m 47s master
master
March 14, 2024 08:53 6m 47s
integrability for conditional fDiv .github/workflows/blueprint.yml #72: Commit 6faf2dc pushed by RemyDegenne
March 14, 2024 08:00 6m 17s master
master
March 14, 2024 08:00 6m 17s
divergence definitions .github/workflows/blueprint.yml #71: Commit e960acd pushed by RemyDegenne
March 13, 2024 20:57 7m 0s master
master
March 13, 2024 20:57 7m 0s
add rnDeriv leanok .github/workflows/blueprint.yml #70: Commit ae17466 pushed by RemyDegenne
March 13, 2024 18:02 15m 42s master
master
March 13, 2024 18:02 15m 42s
kl_nonneg is leanok .github/workflows/blueprint.yml #69: Commit 765635d pushed by RemyDegenne
March 13, 2024 15:58 15m 27s master
master
March 13, 2024 15:58 15m 27s
def KL .github/workflows/blueprint.yml #68: Commit a27d2d9 pushed by RemyDegenne
March 13, 2024 15:48 14m 54s master
master
March 13, 2024 15:48 14m 54s
fix lean lemma name in blueprint .github/workflows/blueprint.yml #67: Commit 0cb0354 pushed by RemyDegenne
March 13, 2024 15:30 14m 24s master
master
March 13, 2024 15:30 14m 24s
ProTip! You can narrow down the results and go further in time using created:<2024-03-13 or the other filters available.