/GeoGen

Automated generation of planar geometry olympiad problems

Primary LanguageC#

This repository is not active