Remove property based conjectures when they are no longer significant
nvcleemp opened this issue · comments
In the current implementation, once a conjecture is accepted, it can no longer be removed.
nvcleemp / conjecturing
Adding conjecturing to Sage