A Parallelized Theorem Prover for a Logic with Parallel Execution.

David L. Rager, Warren A. Hunt Jr., Matt Kaufmann

Browse the full ITP paper archive.