$K$-theory of inverse limits

We will recall the recent notion of a Mittag–Leffler inverse sequence of DG categories, and sketch a proof that $K$-theory specturm of a suitably defined limit is identified with the inverse limit of $K$-theory spectra. This in particular applies to the category of nuclear modules on a formal scheme.