Sede della Congregazione dei Canonici Lateranensi dal 1407. Soppresse le case di San Leonardo e di San Michele di Candiana dei canonici regolari del San Salvatore, i libri furono traslati nel 1784 a Venezia, ove Jacopo Morelli trascelse per la Marciana ventidue manoscritti e circa duecento libri a stampa. Un catalogo della biblioteca, di Io. Vincentius Meriggius de Azzolinis sacerdos. Veronen., datato 1718, è conservato presso la Biblioteca Nazionale Marciana, Marc. Lat. XIV, 277 (=4578), Librorum index existentium in Biblioteca Canonicor. Reg. Later. sub Regula D. Augustini Ep. Doct. sub titulo S. Leonardi in Monte Donico extra Veronae moenia; cfr. anche M. Zorzi, La libreria di San Marco. Libri, lettori, società nella Venezia dei Dogi, Milano 1987, p. 294; G. Biancolini, Notizie storiche delle chiese di Verona, [Bologna], 1977 (Facsimile dell'edizione Verona, 1749-1771), v. 3, pp. 25-29 e v. 7, pp. 123-134. Numerose note di possesso registrano i canonici che avevano posseduto il libro prima di passarlo al monastero: Celso Maffei.