sgc
A formally verified Lean 4 library characterizing the algebraic structure of metastability and consolidation in stochastic systems.
1-5 of 5 versions of sgc
Sort by
Date
f92d648v4.25.22.8 MBeb843e5v1.0-releasev4.25.2851852cv2.0-information-bridgev4.25.2f5e40fbv1.0-verifiedv4.25.2f234c07v4.8.0-historicalv4.8.0