William Stein wrote:
> On Sun, Jun 1, 2008 at 8:56 AM, John P. Burkett <[EMAIL PROTECTED]> wrote:
>> A document at
>> http://modular.math.washington.edu/home/goreckc/sage/logic/bu/%3Cpropcalc.py%3E
>> describes how to use a module for propositional calculus. This involves
>> importing propcalc, b
On Sun, Jun 1, 2008 at 8:56 AM, John P. Burkett <[EMAIL PROTECTED]> wrote:
>
> A document at
> http://modular.math.washington.edu/home/goreckc/sage/logic/bu/%3Cpropcalc.py%3E
> describes how to use a module for propositional calculus. This involves
> importing propcalc, boolformula, and logicparse
