/LeanEuclid

LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

Primary LanguageLeanMIT LicenseMIT

Watchers