GitHub repository: subfish-zhou/N2Lean
Primary language: Lean
Created: 2022-04-02T15:41:09Z
Description: A Dataset for machine translation from natural language mathematical statement to Lean statement