ProofWala-Lean / README.md

Update README.md

eb267d1 verified 3 months ago

137 Bytes

metadata

license: mit
base_model:
  - Salesforce/codet5-base
pipeline_tag: text2text-generation
tags:
  - code
  - mathematics
  - theorem-proving