Remove property based conjectures when they are no longer significant

nvcleemp / conjecturing

Adding conjecturing to Sage

http://nvcleemp.github.io/conjecturing/

12 stars 3 forks source link

Closed nvcleemp closed 10 years ago

nvcleemp commented 10 years ago

In the current implementation, once a conjecture is accepted, it can no longer be removed.