https://github.com/verified-optimization/CvxLean/tree/main/egg-pre-dcp https://github.com/opencompl/egg-tactic-code