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