GitHub repository: wimmers/poly-reductions
Primary language: Isabelle
Created: 2019-07-12T07:46:13Z
Description: Polynomial-time reductions in Isabelle/HOL