Winding Metastability: a verified research program on metastability of reversible diffusions on the torus
Winding Metastability — documentary release (math-v2.0.2) A documentary release: zero mathematical change. Apart from README.md, CITATION.cff and one appended entry in the operational log (COORDINATION.md entry [123], the record of the math-v2.0.1 release itself), every file of math-v2.0.1 is byte-identical here. One f...