Repository navigation

All pull requests

Link OEIS sequences A401013 and A401014 to problem 889
#472manman4 opened Oct 13, 2026Contributor
Link problem 400 to OEIS A400979 and A400981
#471manman4 opened Oct 12, 2026Contributor
Link problem 901 to A392185 (m(n), Property B)
#470mnn31 opened Oct 11, 2026
Link problem 176 to OEIS A398541
#469mnn31 opened Oct 11, 2026
Link problem 1186 to OEIS A121385
#468mnn31 opened Oct 11, 2026
Link problem 1084 to OEIS A047932 (contact numbers f_2(n))
#467mnn31 opened Oct 11, 2026
Link problem 1216 to OEIS A122027 and A122026
#466mnn31 opened Oct 11, 2026
Link problem 1004 to OEIS A079008
#465mnn31 opened Oct 11, 2026
Link problem 711 to OEIS A390246
#464mnn31 opened Oct 11, 2026
Link problem 175 to OEIS A292441 and A292442
#463manman4 opened Oct 11, 2026Contributor
Link problem 379 to OEIS A400962
#462manman4 opened Oct 11, 2026Contributor
Record the Lean formalization of problem 973
#461linrock opened Oct 11, 2026
Link problem 696 to OEIS A399769 and A400930
#460manman4 opened Oct 10, 2026Contributor
Link problem 698 to OEIS A400908
#459manman4 opened Oct 9, 2026Contributor
Link problem 342 to OEIS A400867
#458manman4 opened Oct 8, 2026Contributor
Problem 552: record the $100 prize
#456agnt-gg opened Oct 7, 2026
Preserve the problem database when formalization writes fail
#455Chessing234 opened Oct 5, 2026Contributor
Compare long OEIS decimal prefixes without the integer string limit
#454Chessing234 opened Oct 5, 2026Contributor
Record the Lean formalisation of the solution to problem 482
#453gotrevor opened Oct 1, 2026
Link #293 to A400352 (v(k))
#452EconLearn opened Oct 1, 2026Contributor
Make statistics_history_*.svg files deterministic on regenerate
#449alan008 opened Sep 27, 2026
Change AI Attempts link text to always 'view'
#447drmehmetismail opened Sep 23, 2026
2
Record whether a problem has a forum thread
#384Chessing234 opened Aug 23, 2026Contributor
5
Record Lean solution for Erdős Problem 593
#366SamPetkov opened Jul 29, 2026

Pull requests