euclidean-geometry topic
List
euclidean-geometry repositories
LeanEuclid
117
Stars
14
Forks
117
Watchers
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
