GitHub repository: GehriJan/PataPyRes
Description: Premise selection using Alternating Path Theory for Theorem Prover PyRes