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

hyperpolymath merged 2 commits into

mainhyperpolymath/neurophone:mainfrom

proof/esn-lsm-formal-1.1-1.2hyperpolymath/neurophone:proof/esn-lsm-formal-1.1-1.2Copy head branch name to clipboard