ReadGlim
Reachability and asymptotics of Gaussian Transformer dynamics — ReadGlim