formalgeo-imo

홈페이지 · 논문 1편

IMO-level geometry problem with complete natural language description, geometric shapes, formal language annotations, and theorem sequences annotations.