Skip to content

Actions: mathlab0911/arithmetic-landscapes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 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
r233c: the kernel replay for the released state -- 17 modules in the … Lean build #36: Commit 0a53efc pushed by mathlab0911
2m 54s main
main
2m 54s
r233: the referee pass flagged nine of nine, and one of them was that… Lean build #35: Commit 1d7a724 pushed by mathlab0911
2m 56s v1.3.0
v1.3.0
2m 56s
r233: the referee pass flagged nine of nine, and one of them was that… Lean build #34: Commit 1d7a724 pushed by mathlab0911
3m 17s main
main
3m 17s
r214c: the F61 read-back caught a defect in the tagged snapshot, and … Lean build #33: Commit 88ba254 pushed by mathlab0911
2m 41s v1.2.0
v1.2.0
2m 41s
r214b: the README linked the release notes at a gitignored path, so t… Lean build #32: Commit 37578a8 pushed by mathlab0911
2m 33s v1.2.0
v1.2.0
2m 33s
r214b: the README linked the release notes at a gitignored path, so t… Lean build #31: Commit 37578a8 pushed by mathlab0911
2m 41s main
main
2m 41s
r198: audit every quantitative claim in the Lee-Yang section; 3 of 5 … Lean build #30: Commit e7f693f pushed by mathlab0911
2m 52s main
main
2m 52s
r197: R>=1 does not decide whether Gamma is finite -- correct prop:gq… Lean build #29: Commit b4d238b pushed by mathlab0911
2m 54s v1.1.1
v1.1.1
2m 54s
r197: R>=1 does not decide whether Gamma is finite -- correct prop:gq… Lean build #28: Commit b4d238b pushed by mathlab0911
2m 58s main
main
2m 58s
workshop_setup: git add --dry-run emits two verbs, not one; print rem… Lean build #27: Commit 14cbffa pushed by mathlab0911
2m 45s main
main
2m 45s
The first referee pass, and the three things it caught about our own … Lean build #26: Commit b7232e4 pushed by mathlab0911
3m 50s v1.1.0
v1.1.0
3m 50s
The first referee pass, and the three things it caught about our own … Lean build #25: Commit b7232e4 pushed by mathlab0911
3m 40s main
main
3m 40s
Zenodo deposit: CC BY 4.0 on the manuscripts, and the metadata a DOI … Lean build #24: Commit ad4964c pushed by mathlab0911
2m 49s v1.0.0
v1.0.0
2m 49s
Tidy the display case: one-round scripts moved to tools/rounds/ Lean build #23: Commit e35d435 pushed by mathlab0911
2m 50s main
main
2m 50s
A witness that some hypothesis is necessary: the annealed prediction … Lean build #22: Commit 5665581 pushed by mathlab0911
3m 4s main
main
3m 4s
rem:nohigher -- the first-order term is Hermite, the expansion is not… Lean build #21: Commit 8d48629 pushed by mathlab0911
3m 16s main
main
3m 16s
The crossing on the primes, Q(0) = 61/3 exactly, and which case the a… Lean build #20: Commit 8417b1b pushed by mathlab0911
2m 46s main
main
2m 46s
cor:crossing -- the ratio crosses Gamma at exactly one standard devia… Lean build #19: Commit e5f300c pushed by mathlab0911
2m 45s main
main
2m 45s
prop:correction -- the first correction term, and it was already in t… Lean build #18: Commit 87b6d60 pushed by mathlab0911
2m 43s main
main
2m 43s
prop:schur -- Gamma is Schur-concave; and where this sits beside the … Lean build #17: Commit 729c537 pushed by mathlab0911
3m 7s main
main
3m 7s
prob:hrate -- (H) may govern the rate and not the truth, and that is … Lean build #16: Commit b154c3e pushed by mathlab0911
3m 0s main
main
3m 0s
Gamma IS the annealed prediction -- so the theorem is an annealed-exa… Lean build #15: Commit 8b94994 pushed by mathlab0911
8m 3s main
main
8m 3s
cor:classnumber -- the coset energy of a quadratic character is a cla… Lean build #14: Commit c9e56ff pushed by mathlab0911
3m 1s main
main
3m 1s
prop:chardecomp: the coset energy decomposes into L-values, and C20 s… Lean build #13: Commit 5292018 pushed by mathlab0911
2m 41s main
main
2m 41s
Correction, second pass: rem:shift was wrong, and now it is proved bo… Lean build #12: Commit 701c9cc pushed by mathlab0911
2m 50s main
main
2m 50s