PierreSenellartdescriptive-complexity1.1.0

Descriptive complexity in Lean 4: machine-model-free NP-completeness via first-order reductions, and the polynomial hierarchy via second-order alternation
#complexity #descriptive complexity #model theory #NP-completeness #reductions
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibv4.33.0-rc1

    The math library of Lean 4