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