Cargando…

Enhancement of properties in Mizar

A “property” in the Mizar proof-assistant is a construction that can be used to register chosen features of predicates (e.g., “reflexivity”, “symmetry”), operations (e.g., “involutiveness”, “commutativity”) and types (e.g., “sethoodness”) declared at the definition stage. The current implementation...

Descripción completa

Detalles Bibliográficos
Autor principal: Korniłowicz, Artur
Formato: Online Artículo Texto
Lenguaje:English
Publicado: PeerJ Inc. 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7924646/
https://www.ncbi.nlm.nih.gov/pubmed/33816970
http://dx.doi.org/10.7717/peerj-cs.320