Hello, thank you for your reply. Wow, Soumya did a lot of work in FOL.py. But it seems like difficult parts like quantifiers are left undone.
Can any potential mentors provide guidance? Would it be better to continue Soumya's work, or to build something new? Are there any completed implementations/papers which would serve as a good guide for this project? I would love to dedicate this Summer to First-Order Logic in SymPy, but I am not convinced any mentors are interested, and I don't know what direction they would like to see. Please reply with some hints or guidance. P. Dworz On Wednesday, March 25, 2015 at 3:02:46 AM UTC-5, Sudhanshu Mishra wrote: > > Hello, > > You might want to see this. https://github.com/sympy/sympy/pull/7608 > > A substantial amount of work has been already done on FOL. It hasn't been > merged yet because of some marginal work left. > > Sudhanshu Mishra > > > On Wed, Mar 25, 2015 at 12:14 PM, <[email protected] <javascript:>> wrote: > >> Dear SymPy mailing list, >> >> This message is to introduce myself as an applicant for Google Summer of >> Code. Please see my application wiki here: >> https://github.com/sympy/sympy/wiki/GSoC-2015-Application:-Implement-First-Order-Logic >> >> . Feedback is welcome. >> >> P. Dworz >> >> -- >> 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] <javascript:>. >> To post to this group, send email to [email protected] <javascript:> >> . >> Visit this group at http://groups.google.com/group/sympy. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sympy/a64d3ee1-b042-4200-b586-8b3bab33a69b%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sympy/a64d3ee1-b042-4200-b586-8b3bab33a69b%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> For more options, visit https://groups.google.com/d/optout. >> > > -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/073c8850-5170-4aef-91d0-c4436a93afa1%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
