Dataset for the paper

"Implementing More Explicit Definitional Expansions in Mizar" by Adam Grabowski and Artur Kornilowicz

accepted to ITP 2023 published in LIPIcs, Volume 268, ITP 2023.

Contents:

appendix.pdf - an appendix to the full paper

syntax.txt - revised syntax of the Mizar language

den-txt-files/ - output files in TXT format

den-xml-files/ - output files in XML format

The results of experiments described in Section 2 of Appendix are collected in subdirectories:

results-definitions-sorted/ results-randomtest1/ results-randomtest2/ results-randomtest3/