PatrikBak / GeoGen

Automated generation of planar geometry olympiad problems
83Updated last year

Related projects

Alternatives and complementary repositories for GeoGen