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