Giters

nvcleemp / conjecturing

Adding conjecturing to Sage

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add property-based conjecturing to the program

nvcleemp opened this issue · comments

commented

Upperbounds correspond to sufficient conditions, lowerbounds correspond to necessary conditions.