MPTP 0.2: Design, Implementation, and Initial Experiments

Abstract

This paper describes the second version of the Mizar Problems for Theorem Proving (MPTP) system and first experimental results obtained with it.

Keywords

• Design
• Implementation
• Initial
• Experiments