PatrikBak / GeoGen

Automated generation of planar geometry olympiad problems
81Updated last year

Related projects: