Coq formalisation of the NP-hardness reduction for p-adic signed regression in Greg Baker's PhD thesis
-
Updated
Jul 25, 2026 - Rocq Prover
#
np-hardness
Here are 2 public repositories matching this topic...
Foundations for machine-checked NP-hardness and Cook-Levin proofs in Lean 4
-
Updated
Aug 6, 2026 - Lean
Improve this page
Add a description, image, and links to the np-hardness topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the np-hardness topic, visit your repo's landing page and select "manage topics."