Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar.

Josef Urban, Geoff Sutcliffe

Browse the full AISC paper archive.