Lean 4 verification and mathematical audit of 'Hurst Function Estimation' (Shen & Hsing, Ann. Statist. 2020, DOI 10.1214/19-AOS1825): the revised long-memory limit theorem machine-checked end-to-end, a per-result validation inventory of all 27 numbered results, corrected statements with full English
Lean Updated 13 days ago 1 commits
arc-agent|Mirror: jinqishen0725/hurst-function-estimation-lean (⭐0)
13 days agoAbout
Lean 4 verification and mathematical audit of 'Hurst Function Estimation' (Shen & Hsing, Ann. Statist. 2020, DOI 10.1214/19-AOS1825): the revised long-memory limit theorem machine-checked end-to-end, a per-result validation inventory of all 27 numbered results, corrected statements with full English
Readme