Quantum Gromov-Hausdorff propinquity convergence of Christensen-Ivan quantum metrics on AF algebras

We provide convergence in the quantum Gromov-Hausdorff propinquity of Latrémolière 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.