AlphaGeometryRE is an re-engineered version AlphaGeometry with a goal to make it easy to use (especially on Windows):
* Use ChatLLM.cpp form LLM interference.
* Greatly simplified requirements.txt.
* Indent with four spaces.
Show HN: AlphaGeometryRE AlphaGeometry Re-Engineered
github.com