GitHub topics: autoformalization
augustepoiroux/LeanInteract
LeanInteract: A Python Interface for Lean 4
Language: Python - Size: 129 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 24 - Forks: 5
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: 9 days ago - Pushed at: 9 days ago - Stars: 98 - Forks: 8
