GitHub repository: James-Oswald/Parallel-Verifier
Primary language: C++
Description: Parallel Verification of Natural Deduction Proofs