Implementing More Explicit Definitional Expansions in Mizar (Short Paper).

Adam Grabowski, Artur Kornilowicz

Browse the full ITP paper archive.