Deeptime is a Python library for estimating dynamical models from time-series data using linear...