Autoformalisation Framework GFLean for Translating Simplified Natural Language Statements to Lean Expressions
GFLean is an autoformalisation framework that translates simple mathematical statements expressed in a controlled natural language called Simplified ForTheL to corresponding expressions in the Lean theorem prover.