PeerJ Author 135 Points Contributions by role Author 135 Contributions by subject area Digital Libraries Theory and Formal Methods Programming Languages Artur Korniłowicz PeerJ Author Summary Theory & Formal Methods Past or current institution affiliations University of Bialystok Work details University of Bialystok Institute of Computer Science Websites Google Scholar PeerJ Contributions Articles 1 November 30, 2020 Enhancement of properties in Mizar Artur Korniłowicz https://doi.org/10.7717/peerj-cs.320
