ATP and presentation service for Mizar formalizations

Josef Urban, Piotr Rudnicki, Geoff Sutcliffe

Research output: Contribution to journalArticle

39 Scopus citations

Fingerprint Dive into the research topics of 'ATP and presentation service for Mizar formalizations'. Together they form a unique fingerprint.

Engineering & Materials Science