Investigate egg from Lean [uts-0032]
Investigate egg from Lean [uts-0032]
#### utensil opened issue at 2024-02-11 12:42: - https://github.com/verified-optimization/CvxLean/tree/main/egg-pre-dcp - https://github.com/opencompl/egg-tactic-code
NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.
#### utensil opened issue at 2024-02-11 12:42: - https://github.com/verified-optimization/CvxLean/tree/main/egg-pre-dcp - https://github.com/opencompl/egg-tactic-code