Extracting Higher-Order Goals from the Mizar Mathematical Library

Brown, C., Urban, J.

BROWN, C. and J. URBAN. Extracting Higher-Order Goals from the Mizar Mathematical Library. In: Lecture Notes in Computer Science 9791. Intelligent Computer Mathematics - 9th International Conference, Bialystok, 2016-07-25/2016-07-29. Basel: Springer, 2016. p. 99-114. ISSN 0302-9743. ISBN 978-3-319-42546-7. DOI 10.1007/978-3-319-42547-4_8.