Towards a Mizar Environment for Isabelle: Foundations and Language

Kaliszyk, C., Pak, K., Urban, J.

KALISZYK, C., K. PAK, and J. URBAN. Towards a Mizar Environment for Isabelle: Foundations and Language. In: CPP 2016 Certified Proofs and Programs. Saint Petersburg, FL, 2016-01-20/2016-01-22. New York: ACM, 2016. p. 58-65. ISBN 978-1-4503-4127-1. DOI 10.1145/2854065.2854070.