Skip to content

Pull requests: dwrensha/compfiles

New pull request New
8 Open 228 Closed
8 Open 228 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

[Imo2009P3] add back positivity hypothesis
#249 opened Aug 6, 2026 by Hillosanation Contributor Loading…
Remove underscore prefix from hypothesis in problem files
#248 opened Aug 6, 2026 by Hillosanation Contributor Loading…
1
Usa1988p2 solution
#245 opened Aug 2, 2026 by pacmanboss256 Contributor Loading…
2
[Imo2020P5] Use Fin n as indexing type
#244 opened Aug 2, 2026 by Hillosanation Contributor Loading…
Usa1976p5
#241 opened Aug 1, 2026 by pacmanboss256 Contributor Loading…
1
Complete formalization and solutions for all IMO (1959–2026) and USAMO problems
#234 opened Jul 27, 2026 by Imbernoulli Contributor Loading…
15
Create the problem statement for IMO 2025 #4
#111 opened Nov 17, 2025 by a2435191 Loading…
6
CJMO 2024 P1
#55 opened May 24, 2025 by ldct Contributor Loading…
2
ProTip! Filter pull requests by the default branch with base:main.