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

Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1092: Pull request #174 synchronize by RemyDegenne
November 16, 2024 16:43 3m 9s ennreal
ennreal
November 16, 2024 16:43 3m 9s
fix .github/workflows/pull_request.yml #1091: Commit a2eca88 pushed by RemyDegenne
November 16, 2024 16:43 3m 10s ennreal
ennreal
November 16, 2024 16:43 3m 10s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1090: Pull request #174 synchronize by RemyDegenne
November 16, 2024 16:06 3m 27s ennreal
ennreal
November 16, 2024 16:06 3m 27s
rightDerivStieltjes lemmas .github/workflows/pull_request.yml #1089: Commit 529c9b6 pushed by RemyDegenne
November 16, 2024 16:06 3m 6s ennreal
ennreal
November 16, 2024 16:06 3m 6s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1088: Pull request #174 synchronize by RemyDegenne
November 16, 2024 10:31 3m 7s ennreal
ennreal
November 16, 2024 10:31 3m 7s
work on rightDerivStieltjes .github/workflows/pull_request.yml #1087: Commit 7fdd3bb pushed by RemyDegenne
November 16, 2024 10:31 3m 6s ennreal
ennreal
November 16, 2024 10:31 3m 6s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1086: Pull request #174 synchronize by RemyDegenne
November 16, 2024 07:23 3m 8s ennreal
ennreal
November 16, 2024 07:23 3m 8s
prove a few sorry, comment out a lot of unused stuff .github/workflows/pull_request.yml #1085: Commit ff93bd2 pushed by RemyDegenne
November 16, 2024 07:23 3m 45s ennreal
ennreal
November 16, 2024 07:23 3m 45s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1084: Pull request #174 synchronize by LorenzoLuccioli
November 13, 2024 12:16 3m 19s ennreal
ennreal
November 13, 2024 12:16 3m 19s
fix bugs .github/workflows/pull_request.yml #1083: Commit 40801ff pushed by LorenzoLuccioli
November 13, 2024 12:16 3m 11s ennreal
ennreal
November 13, 2024 12:16 3m 11s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1082: Pull request #174 synchronize by LorenzoLuccioli
November 13, 2024 11:05 2m 48s ennreal
ennreal
November 13, 2024 11:05 2m 48s
prove leftDeriv_nonpos_of_isMinOn and rightDeriv_nonneg_of_isMinOn .github/workflows/pull_request.yml #1081: Commit de07d7b pushed by LorenzoLuccioli
November 13, 2024 11:05 2m 46s ennreal
ennreal
November 13, 2024 11:05 2m 46s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1080: Pull request #174 synchronize by LorenzoLuccioli
November 13, 2024 08:47 3m 30s ennreal
ennreal
November 13, 2024 08:47 3m 30s
fix typo in the name of two lemmas .github/workflows/pull_request.yml #1079: Commit ba28931 pushed by LorenzoLuccioli
November 13, 2024 08:47 3m 30s ennreal
ennreal
November 13, 2024 08:47 3m 30s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1078: Pull request #174 synchronize by LorenzoLuccioli
November 12, 2024 22:17 3m 30s ennreal
ennreal
November 12, 2024 22:17 3m 30s
Merge branch 'ennreal' of https://github.com/RemyDegenne/testing-lowe… .github/workflows/pull_request.yml #1077: Commit 3145832 pushed by LorenzoLuccioli
November 12, 2024 22:17 3m 8s ennreal
ennreal
November 12, 2024 22:17 3m 8s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1076: Pull request #174 synchronize by RemyDegenne
November 12, 2024 21:09 3m 9s ennreal
ennreal
November 12, 2024 21:09 3m 9s
some progress towards Jensen for laverage .github/workflows/pull_request.yml #1075: Commit 3350785 pushed by RemyDegenne
November 12, 2024 21:09 3m 13s ennreal
ennreal
November 12, 2024 21:09 3m 13s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1074: Pull request #174 synchronize by RemyDegenne
November 9, 2024 11:13 3m 8s ennreal
ennreal
November 9, 2024 11:13 3m 8s
alternative proof for condFDiv_compProd_meas .github/workflows/pull_request.yml #1073: Commit a5ca103 pushed by RemyDegenne
November 9, 2024 11:13 3m 3s ennreal
ennreal
November 9, 2024 11:13 3m 3s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1072: Pull request #174 synchronize by RemyDegenne
November 9, 2024 10:31 2m 59s ennreal
ennreal
November 9, 2024 10:31 2m 59s
Merge branch 'ennreal' of github.com:RemyDegenne/testing-lower-bounds… .github/workflows/pull_request.yml #1071: Commit f16ec4a pushed by RemyDegenne
November 9, 2024 10:31 3m 6s ennreal
ennreal
November 9, 2024 10:31 3m 6s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1070: Pull request #174 synchronize by RemyDegenne
November 9, 2024 10:18 3m 5s ennreal
ennreal
November 9, 2024 10:18 3m 5s
Rename fDivOfReal.lean to FDivOfReal.lean .github/workflows/pull_request.yml #1069: Commit fdbf06f pushed by RemyDegenne
November 9, 2024 10:18 3m 5s ennreal
ennreal
November 9, 2024 10:18 3m 5s
Refactor: use Lebesgue integrals and non-negative divergence functions .github/workflows/pull_request.yml #1068: Pull request #174 synchronize by RemyDegenne
November 9, 2024 10:15 1m 15s ennreal
ennreal
November 9, 2024 10:15 1m 15s