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, <pdw...@gmail.com> 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 sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > 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 sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. 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/CAFW_KCQ1Ym1E7wO-ESWwAZ85vJymRjaW_6N3MpEqLYOuGH-9yg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.