loganrjmurphy / LeanEuclidLinks

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

Alternatives and similar repositories for LeanEuclid

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

Sorting: