[codex] Add P vs NP subcube-cover package#27

JanBartos6 wants to merge 1 commit into

mainJanBartos6/LemmaTrail:mainfrom

codex/p-vs-np-subcube-cover-route-26JanBartos6/LemmaTrail:codex/p-vs-np-subcube-cover-route-26Copy head branch name to clipboard