ATP-based cross-verification of Mizar proofs: Method, systems, and first experiments

Josef Urban, Geoff Sutcliffe

Research output: Contribution to journalArticlepeer-review

17 Scopus citations

Fingerprint

Dive into the research topics of 'ATP-based cross-verification of Mizar proofs: Method, systems, and first experiments'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science