An Experiment on Mizar Adjectives with Extra Visible Arguments
Adam Naumowicz · 2020
This paper presents the extended processing of adjectives with visible arguments in the Mizar system. The proposed enhancement is compared with the current implementation by presenting the results of a case study based on refactoring selected Mizar Mathematical Library (MML) theories.