id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_dunvealesnba5i44lf4b6hxbni	Artur Korniłowicz	Enhancement of properties in Mizar	2020	16	.pdf	application/pdf	6107	812	58	enhancement of the Mizar proof-checker which allow declaring properties of notions of The current implementation of the Mizar proof-assistant allows using properties for In this paper we propose an extension of both the Mizar language and the Mizar proofchecker which allows declaring properties of notions of arbitrary arity with respect to mathematical notions can be defined in Mizar articles. The Mizar Mathematical Library (MML) (Bancerek et al., 2018; Alama et al., 2011) was The current Version 5.63.1382 of the Mizar Mathematical Library contains 1385 articles Mathematical Library, and text-proper part, where new definitions, lemmas, theorems etc. When all formulae are accepted, the article can be submitted to the Mizar Mathematical article, and Transferer—transfers the knowledge into the Mizar Mathematical Library. Properties in Mizar are constructions which can be used to declare that predicates are applications working on the semantic level of the Mizar Mathematical Library (Urban,	./cache/work_dunvealesnba5i44lf4b6hxbni.pdf	./txt/work_dunvealesnba5i44lf4b6hxbni.txt