Hi All, I'm looking to get some propositional calculus code that I wrote reviewed and refereed.
The code allows operations such as simplification, conversion to normal form, truth table creation, etc. The code is at: http://www.sagemath.org:9002/sage_trac/ticket/545 if anyone is interested that would be great. -Chris Gorecki --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
