loganrjmurphy / LeanEuclidLinks

LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
103Updated 3 months ago

Alternatives and similar repositories for LeanEuclid

Users that are interested in LeanEuclid are comparing it to the libraries listed below

Sorting: