AlphaGeometry

https://github.com/google-deepmind/alphageometry

AlphaGeometry is a geometry theorem prover that reproduces DDAR and AlphaGeometry, as introduced in...

Tokens:8,282
Snippets:75
Trust Score:9.4
License:Apache-2.0
Update:6 days ago
Tokens:
Raw