This startup wants to change how mathematicians do math | LL Daily