I am interested in contributing to SymPy by working on hypothesis testing in SymPy as a GSoC project. In relation to this, I have also created a
PR #29522.
Although I understand it is quite late, I have attached my proposal for the same below. I would be glad if you would take a look and review it.
Best,