A port of [miniF2F](https://github.com/facebookresearch/miniF2F) to Lean 4.

license:mit region:us
{"license": "mit"}
TAGS
#license-mit #region-us 

A port of miniF2F to Lean 4.

TAGS
#license-mit #region-us 

passage: TAGS
#license-mit #region-us 
