autoformalization topic
List
autoformalization 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.
LeanInteract
86
Stars
7
Forks
86
Watchers
LeanInteract: A Python Interface for Lean 4