GitHub repository: BilelGho/poly-reductions
Primary language: Isabelle
Description: Polynomial-time reductions in Isabelle/HOL