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

Merge pull request #3 from LorenzoLuccioli/master .github/workflows/blueprint.yml #163: Commit 7c79fcb pushed by RemyDegenne
April 3, 2024 15:45 7m 1s master
master
April 3, 2024 15:45 7m 1s
Add @simp to kl_self .github/workflows/pull_request.yml #3: Pull request #3 opened by LorenzoLuccioli
April 3, 2024 15:42 1m 40s LorenzoLuccioli:master
LorenzoLuccioli:master
April 3, 2024 15:42 1m 40s
Merge pull request #2 from LorenzoLuccioli/master .github/workflows/blueprint.yml #162: Commit 67dd76f pushed by RemyDegenne
April 3, 2024 15:37 7m 3s master
master
April 3, 2024 15:37 7m 3s
Add kl_self .github/workflows/pull_request.yml #2: Pull request #2 synchronize by LorenzoLuccioli
April 3, 2024 15:33 1m 41s LorenzoLuccioli:master
LorenzoLuccioli:master
April 3, 2024 15:33 1m 41s
Add kl_self .github/workflows/pull_request.yml #1: Pull request #2 opened by LorenzoLuccioli
April 3, 2024 15:23 1m 43s LorenzoLuccioli:master
LorenzoLuccioli:master
April 3, 2024 15:23 1m 43s
remove style job .github/workflows/blueprint.yml #161: Commit 3961891 pushed by RemyDegenne
April 3, 2024 15:10 7m 54s master
master
April 3, 2024 15:10 7m 54s
workflows .github/workflows/blueprint.yml #160: Commit ddfa7b2 pushed by RemyDegenne
April 3, 2024 15:07 7m 10s master
master
April 3, 2024 15:07 7m 10s
remove finite measure assumption .github/workflows/blueprint.yml #159: Commit 7e842fb pushed by RemyDegenne
April 2, 2024 06:23 6m 41s master
master
April 2, 2024 06:23 6m 41s
add fDiv_zero_measure_right, golf .github/workflows/blueprint.yml #158: Commit 52cecdf pushed by RemyDegenne
April 2, 2024 06:20 6m 30s master
master
April 2, 2024 06:20 6m 30s
add condKL def .github/workflows/blueprint.yml #157: Commit 0e938bd pushed by RemyDegenne
April 2, 2024 06:01 7m 31s master
master
April 2, 2024 06:01 7m 31s
add leanok .github/workflows/blueprint.yml #156: Commit 87f0295 pushed by RemyDegenne
April 1, 2024 14:05 7m 30s master
master
April 1, 2024 14:05 7m 30s
add props of KL and Halpha .github/workflows/blueprint.yml #155: Commit 6fe51e3 pushed by RemyDegenne
April 1, 2024 13:53 7m 10s master
master
April 1, 2024 13:53 7m 10s
add leanok .github/workflows/blueprint.yml #154: Commit e2a4ab5 pushed by RemyDegenne
April 1, 2024 13:45 7m 24s master
master
April 1, 2024 13:45 7m 24s
improve fDiv_add_measure_le .github/workflows/blueprint.yml #153: Commit 35d16c6 pushed by RemyDegenne
April 1, 2024 13:16 6m 47s master
master
April 1, 2024 13:16 6m 47s
golf fDiv_trim_le .github/workflows/blueprint.yml #152: Commit fe8f2db pushed by RemyDegenne
April 1, 2024 12:42 6m 38s master
master
April 1, 2024 12:42 6m 38s
fix lemma name .github/workflows/blueprint.yml #151: Commit b0ec41d pushed by RemyDegenne
April 1, 2024 09:33 6m 21s master
master
April 1, 2024 09:33 6m 21s
blueprint: detail a proof .github/workflows/blueprint.yml #150: Commit ca0d9e9 pushed by RemyDegenne
April 1, 2024 09:32 5m 45s master
master
April 1, 2024 09:32 5m 45s
add proofs for trim theorems .github/workflows/blueprint.yml #149: Commit 4ec5a12 pushed by RemyDegenne
April 1, 2024 09:19 6m 13s master
master
April 1, 2024 09:19 6m 13s
prove renyi_symm .github/workflows/blueprint.yml #148: Commit c57bba1 pushed by RemyDegenne
March 30, 2024 15:40 7m 39s master
master
March 30, 2024 15:40 7m 39s
add uses .github/workflows/blueprint.yml #147: Commit 2d791f0 pushed by RemyDegenne
March 30, 2024 14:10 6m 27s master
master
March 30, 2024 14:10 6m 27s
add uses .github/workflows/blueprint.yml #146: Commit 00a89ce pushed by RemyDegenne
March 30, 2024 14:09 6m 40s master
master
March 30, 2024 14:09 6m 40s
add leanok .github/workflows/blueprint.yml #145: Commit 83b2c67 pushed by RemyDegenne
March 30, 2024 14:05 6m 50s master
master
March 30, 2024 14:05 6m 50s
add alpha index to f in hellingerDiv .github/workflows/blueprint.yml #144: Commit d543cdf pushed by RemyDegenne
March 30, 2024 14:04 6m 29s master
master
March 30, 2024 14:04 6m 29s
new file Convex.lean .github/workflows/blueprint.yml #143: Commit f520fc4 pushed by RemyDegenne
March 30, 2024 14:02 7m 21s master
master
March 30, 2024 14:02 7m 21s
define Hellinger divergences .github/workflows/blueprint.yml #142: Commit 11b3f25 pushed by RemyDegenne
March 30, 2024 10:20 6m 34s master
master
March 30, 2024 10:20 6m 34s
ProTip! You can narrow down the results and go further in time using created:<2024-03-30 or the other filters available.