Skip to content

Actions: slink/LeanLevy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs: update citation metadata for v0.2.0 Lean Action CI #80: Commit 7e73fd9 pushed by slink
5m 54s v0.2.0
v0.2.0
5m 54s
docs: update citation metadata for v0.2.0 Lean Action CI #79: Commit 7e73fd9 pushed by slink
4m 46s main
main
4m 46s
docs: update README for the cadlag jump process realization Lean Action CI #78: Commit 7732ded pushed by slink
4m 43s main
main
4m 43s
docs: tighten the independence phrasing in the scattering docstrings Lean Action CI #77: Commit 0797d82 pushed by slink
1m 54s v0.1.1
v0.1.1
1m 54s
docs: tighten the independence phrasing in the scattering docstrings Lean Action CI #76: Commit 0797d82 pushed by slink
1m 52s main
main
1m 52s
docs: add the Zenodo DOI badge Lean Action CI #75: Commit bdc4e84 pushed by slink
1m 29s main
main
1m 29s
docs: add citation metadata Lean Action CI #74: Commit 2dddec7 pushed by slink
1m 28s v0.1.0
v0.1.0
1m 28s
docs: add citation metadata Lean Action CI #73: Commit 2dddec7 pushed by slink
1m 58s main
main
1m 58s
docs: index the increments-predicate bridge lemma Lean Action CI #72: Commit 738ba06 pushed by slink
4m 39s main
main
4m 39s
docs: index the radius-1 split lemma in the compensated-integrand module Lean Action CI #71: Commit 3dbd3ad pushed by slink
3m 18s main
main
3m 18s
docs: update README for the large-jump sum process Lean Action CI #70: Commit 3d0ca39 pushed by slink
1m 58s main
main
1m 58s
docs: refresh Poisson comments left stale by the mathlib bump Lean Action CI #69: Commit a2c5e98 pushed by slink
10m 24s main
main
10m 24s
docs: broaden the martingale module header and sharpen two qualifier … Lean Action CI #68: Commit e1414e2 pushed by slink
3m 16s main
main
3m 16s
docs: update README for the Poisson martingales Lean Action CI #67: Commit 0197da3 pushed by slink
1m 55s main
main
1m 55s
refactor: drop a redundant DecidableEq hypothesis from iIndepFun_thin… Lean Action CI #66: Commit 54c9535 pushed by slink
2m 21s main
main
2m 21s
docs: refresh module headers and qualify the independence claim Lean Action CI #65: Commit f8b8d66 pushed by slink
1m 33s time-space-prm
time-space-prm
1m 33s
docs: refresh module headers and qualify the independence claim Lean Action CI #64: Commit f8b8d66 pushed by slink
2m 53s main
main
2m 53s
docs: rewrite README as a library catalog Lean Action CI #63: Commit 93b635f pushed by slink
1m 34s main
main
1m 34s
refactor: expose block independence lemmas and tidy docstrings Lean Action CI #62: Commit 4e3649a pushed by slink
2m 2s main
main
2m 2s
refactor: clear remaining lint warnings across the repo Lean Action CI #61: Commit ae463c1 pushed by slink
3m 0s main
main
3m 0s
refactor: clean up lemma names, a dead parameter, and lint warnings Lean Action CI #60: Commit 84f5d90 pushed by slink
2m 37s main
main
2m 37s
docs: update README for the complete Levy-Khintchine characterization Lean Action CI #59: Commit 2a65041 pushed by slink
2m 23s main
main
2m 23s
refactor: drop dead parameters and orphaned finite-measure helpers Lean Action CI #58: Commit 3c64e29 pushed by slink
12m 8s main
main
12m 8s
refactor: drop dead parameters and orphaned finite-measure helpers Lean Action CI #57: Commit 3c64e29 pushed by slink
2m 7s general-levy-khintchine
general-levy-khintchine
2m 7s
feat: relax large-jump and band limit lemmas to sigma-finite Levy mea… Lean Action CI #56: Commit 9844bd4 pushed by slink
1m 59s general-levy-khintchine
general-levy-khintchine
1m 59s