Hi Aaron, I have explored the Hypothesis library quite a bit. Do you have any recommendations for particular functions or files within sympy that I should start testing with? Thanks, Nilay
On Sat, 21 Feb 2026 at 4:50 AM, Aaron Meurer <[email protected]> wrote: > Yes, the project is active. I would start by reading through the issue > https://github.com/sympy/sympy/issues/20914, and playing around with > they hypothesis library to get an idea of how it works. > > Aaron Meurer > > On Fri, Feb 20, 2026 at 3:12 PM Nilay Chheda <[email protected]> > wrote: > > > > Hey! I am in my second year pursuing my BE in comp sci from BITS Pilani, > India. I am familiar with python and c++. The Hypothesis Testing project > sounded very interesting to me! I am experienced with logic in cs, state > space models, model checking in UPPAAL, and feel that I would enjoy > contributing to this. > > Is the project active? If yes, can you recommend me a good place to > start for the proposal? > > Thanks! > > Nilay > > > > -- > > You received this message because you are subscribed to the Google > Groups "sympy" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected]. > > To view this discussion visit > https://groups.google.com/d/msgid/sympy/95b1fa2f-1fb1-4933-999d-83b74f1db0a9n%40googlegroups.com > . > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion visit > https://groups.google.com/d/msgid/sympy/CAKgW%3D6K8Uey5cOA9V8WkC59gKUmhn%2BJMH9RRSmS4yPYNW5fWhw%40mail.gmail.com > . > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sympy/CANf%2B8BTq9Y4JHLfMOjm9knUD1PyF1uVKqtbspwHTMCVANwjDdQ%40mail.gmail.com.
