Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange.

Josef Urban

Browse the full LPAR paper archive.