20 lines (15 loc) · 493 Bytes

Master Guide: P ≠ NP Proof

Paper

Located in /Paper/.

Coq Formalization

Located in /CoqFormalization/.

Main theorem: p_neq_np.v
To compile: Run make inside /CoqFormalization.

Supplementary Experiments

Located in /SupplementaryExperiments/.

Experiments simulate diagonalization and complexity gaps.
Run with python3 experiment_simulations.py.

Verification

Formal verification achieved with Coq.

Citation

Connell, Jaimz. "P ≠ NP: A Definitive Resolution."