Skip to content

Pull requests: windsornguyen/ComplexityTheory

New pull request New
37 Open 40 Closed
37 Open 40 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(complexity): prove P is contained in NP
#84 opened Aug 5, 2026 by windsornguyen Owner Loading…
3 tasks done
3
feat(computability): bound complete pair-first parsing
#83 opened Aug 5, 2026 by windsornguyen Owner Loading…
3 tasks done
5
test(computability): prove pair-first parsing prefix
#82 opened Aug 5, 2026 by windsornguyen Owner Loading…
3 tasks done
2
feat(computability): simulate pair-first sources
#81 opened Aug 5, 2026 by windsornguyen Owner Loading…
3 tasks done
test(computability): prove pair-first transitions
#80 opened Aug 5, 2026 by windsornguyen Owner Loading…
3 tasks done
feat(computability): frame pair-first stacks
#79 opened Aug 5, 2026 by windsornguyen Owner Loading…
3 tasks done
3
feat(computability): define pair-first wrapper
#78 opened Aug 5, 2026 by windsornguyen Owner Loading…
3 tasks done
3
feat(complexity): define verifier NP foundations
#77 opened Aug 5, 2026 by windsornguyen Owner Loading…
3 tasks done
refactor(opening): extract family cardinality bound
#74 opened Aug 4, 2026 by windsornguyen Owner • 11/11 Loading…
5 tasks done
docs(research): record affine opening boundary
#73 opened Aug 4, 2026 by windsornguyen Owner • 10/11 Loading…
5 tasks done
5
feat(opening): bound affine binder messages
#72 opened Aug 4, 2026 by windsornguyen Owner • 9/11 Loading…
5 tasks done
2
feat(opening): fold four tensor axes to two
#71 opened Aug 4, 2026 by windsornguyen Owner • 8/11 Loading…
5 tasks done
feat(opening): prove affine binder exact
#70 opened Aug 4, 2026 by windsornguyen Owner • 7/11 Loading…
5 tasks done
2
feat(opening): bind four affine coordinates
#69 opened Aug 4, 2026 by windsornguyen Owner • 6/11 Loading…
5 tasks done
test(opening): certify response splicing
#68 opened Aug 4, 2026 by windsornguyen Owner • 5/11 Loading…
5 tasks done
feat(opening): expose response splicing
#67 opened Aug 4, 2026 by windsornguyen Owner • 4/11 Loading…
5 tasks done
3
feat(opening): exhaust finite strategies
#66 opened Aug 4, 2026 by windsornguyen Owner • 3/11 Loading…
5 tasks done
feat(opening): rule out unbatched clock closure
#65 opened Aug 4, 2026 by windsornguyen Owner • 2/11 Loading…
5 tasks done
3
feat(opening): compose near-far fold semantics
#64 opened Aug 4, 2026 by windsornguyen Owner • 1/11 Loading…
5 tasks done
feat(checksum): classify radius-one syndromes
#63 opened Aug 4, 2026 by windsornguyen Owner Loading…
5 tasks done
feat(checksum): prove radius-one Hamming bound
#62 opened Aug 4, 2026 by windsornguyen Owner Loading…
5 tasks done
docs(research): index canonical-opening theorems
#61 opened Aug 4, 2026 by windsornguyen Owner Loading…
5 tasks done
5
fix(docs): register research pages
#60 opened Aug 4, 2026 by windsornguyen Owner • 2/2 Loading…
2 of 4 tasks
feat(proof-complexity): bound canonical oracle openings
#59 opened Aug 4, 2026 by windsornguyen Owner • 1/2 Loading…
5 tasks done
feat(proofs): transport charged execution clocks
#57 opened Aug 3, 2026 by windsornguyen Owner Loading…
5 tasks done
2
ProTip! Mix and match filters to narrow down what you’re looking for.