1: \begin{abstract}

2:  We provide convergence in the quantum Gromov-Hausdorff propinquity of Latr\'emoli\`ere of some sequences of infinite-dimensional Leibniz compact quantum metric spaces of Rieffel given by AF algebras and Christensen-Ivan spectral spaces. The main examples are convergence of Effros-Shen algebras and UHF algebras.

3: \end{abstract}

4: