Proof eXchange for Theorem Proving (PxTP 2015)
Cezary Kaliszyk and Andrei Paskevich (eds.)Proceedings of the 4th Workshop, Electronic Proceedings in Theoretical Computer Science 186, 2015.
BibTeX
@proceedings{PXTP2015,
editor = "Cezary Kaliszyk and Andrei Paskevich",
title = "Proceedings of the 4th Workshop on Proof eXchange for
Theorem Proving (PxTP 2015)",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = 186,
year = 2015,
doi = "10.4204/EPTCS.186"
}