Skip to content

proof(#84): 1.1 Echo State Property (Lean) + 1.2 LSM bounded dynamics (Dafny)#169

Merged
hyperpolymath merged 2 commits into
mainfrom
proof/esn-lsm-formal-1.1-1.2
Jul 1, 2026
Merged

proof(#84): 1.1 Echo State Property (Lean) + 1.2 LSM bounded dynamics (Dafny)#169
hyperpolymath merged 2 commits into
mainfrom
proof/esn-lsm-formal-1.1-1.2

Merge branch 'main' into proof/esn-lsm-formal-1.1-1.2

b9a59f1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar