I'm a gsoc applicant, who's particularly interested in formal logics and set theory. I'd be quite interested in working on those sorts of areas over the summer. It says on the ideas page about logic and set theory, "This task is heavily tied to the assumptions system.". Does this mean that coding in this area should wait for revision of the assumption module? In what sort of way would logic/set theory code be using the assumptions system?
Peter, -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
