Skip to content

merge: resolve PositiveDefinite.lean conflict with main

da0361d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: prove Bochner's theorem via Gaussian smoothing #1

merge: resolve PositiveDefinite.lean conflict with main
da0361d
Select commit
Loading
Failed to load commit list.
build
succeeded Mar 1, 2026 in 2m 11s