title = "Mathematical Libraries as Proof Assistant Environments",
editor = "Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec",
booktitle = "Proceedings of Mathematical Knowledge Management 2004",
title = "Mathematical Libraries as Proof Assistant Environments",
editor = "Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec",
booktitle = "Proceedings of Mathematical Knowledge Management 2004",