Skip to content

refactor(Bernstein): decompose the repeated integration-by-parts proof#1168

Merged
tauceti-review-bot[bot] merged 4 commits into
TauCetiProject:mainfrom
CBirkbeck:decompose/chafai-repeated-ibp
Jul 24, 2026
Merged

refactor(Bernstein): decompose the repeated integration-by-parts proof#1168
tauceti-review-bot[bot] merged 4 commits into
TauCetiProject:mainfrom
CBirkbeck:decompose/chafai-repeated-ibp

refactor(CompletelyMonotone): prove the endpoint integral via Mathlib…

80b22e7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
label
succeeded Jul 24, 2026 in 13s