Published package / CLIR

`cook_levin.sat_np_complete_1971`

v0.1.0

The Complexity of Theorem-Proving Procedures

Version	contentHash	Size
0.1.0	sha256:762afa1ee557…	12 KB

There is one version: the corpus has not yet published a second edition of any package. The list stays a list on purpose — there will be no “publication date” column here, time never enters the artefacts.