News for hackers. Stuff that matters.
Re:Show HN: AlphaGeometryRE AlphaGeometry Re-Engineered by foldl2022 on Friday December 27, 2024 @09:39PM (#42528109)
Author here. It took quite a lot of time and efforts to implement this old model. The situation is worsened by `meliad` framework. Glad to see that `meliad` is not active now.