Dataset of formal Olympiad-level mathematics problems solved with Python code instructions.
Primary LanguageShell