search

nvcleemp / conjecturing

Adding conjecturing to Sage
http://nvcleemp.github.io/conjecturing/
12 stars 3 forks source link

Use symbolic logic for property based conjectures #6

Closed nvcleemp closed 10 years ago

nvcleemp commented 10 years ago

At the moment we use the same object for normal conjecture and property based conjectures. However the underlying expression don't really support logical operators. Better would be to switch to specific symbolic expression. Cf., http://www.sagemath.org/pdf/en/reference/logic/logic.pdf