
This directory contains examples of simple proofs produced by automated theorem
provers (together with the input problem) that can be imported by GAPT.

