The hypothesis library is lit tho Regards Raiyyan On Sat, 28 Feb, 2026, 6:29 am Nilay Chheda, <[email protected]> wrote:
> 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 > <https://groups.google.com/d/msgid/sympy/CANf%2B8BTq9Y4JHLfMOjm9knUD1PyF1uVKqtbspwHTMCVANwjDdQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- The information contained in this electronic communication is intended solely for the individual(s) or entity to which it is addressed. It may contain proprietary, confidential and/or legally privileged information. Any review, retransmission, dissemination, printing, copying or other use of, or taking any action in reliance on the contents of this information by person(s) or entities other than the intended recipient is strictly prohibited and may be unlawful. If you have received this communication in error, please notify us by responding to this email or telephone and immediately and permanently delete all copies of this message and any attachments from your system(s). The contents of this message do not necessarily represent the views or policies of BITS Pilani. -- 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/CA%2BKANzmAVf%3DbQA8jBGujCDjSDsZPZwxqeThP9r%3DfvqrfqBRx%2Bg%40mail.gmail.com.
