GitHub repository: loganrjmurphy/LeanEuclid
Primary language: Lean
Created: 2024-05-27T03:14:02Z
Description: LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.