Code in this directory is based on the official and unofficial code for AlphaGeometry and updated by the authors of this repository.

* [https://github.com/google-deepmind/alphageometry](https://github.com/google-deepmind/alphageometry)
* [https://github.com/felixludos/alphageometry](https://github.com/felixludos/alphageometry)
