Automated Theorem Proving for Metamath.

Mario Carneiro, Chad E. Brown, Josef Urban

Browse the full ITP paper archive.