Mathematical Libraries as Proof Assistant Environments