M. Borowska, E. Oczeretko, W. Półjanowicz
Formal verification of the correctness of chosen algorithms in Mizar
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.)
