GitHub repository: 0art0/lean3-statement-translation-tool
Primary language: Lean
Created: 2022-11-25T09:32:14Z
Description: A tool for automatic formalisation of natural language theorem statements to Lean3 code using OpenAI Codex.