GitHub repository: nvcleemp/conjecturing
Primary language: C
Description: Adding conjecturing to Sage