Open
QED
Docs
Leaderboard
Sign in
Back to problems
P vs NP
Is every problem whose solution can be verified quickly also solvable quickly?
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute