M. Borowska, E. Oczeretko, W. Półjanowicz
Tutorial: Exploring the Mizar Mathematical Library (EMML 2019)
12th International Conference on Intelligent Computer Mathematics, Prague, Czech Republic, Jul 8-12, 2019
Czech Institute of Informatics, Robotics, and Cybernetics of Czech Technical University in Prague (org.)
