Show HN: Knowing What Matters is coNP-complete (Lean 4 formalized)

(zenodo.org) by trissim | Jan 8, 2026 | 0 comments on HN