GitHub topics: autoformalization
augustepoiroux/LeanInteract
LeanInteract: A Python Interface for Lean 4
Language: Python - Size: 307 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 35 - Forks: 6
loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Language: Lean - Size: 3.57 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 98 - Forks: 8
