MetaProver

MetaProver is a theorem prover that interleaves the execution of theorem provers entered in last year's CASC competition, with the goal of reducing average-case running time. For more information, you may see the system description.

Source code is available here.