amitayusht
/

ProofWala-Lean

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions Community

ProofWala-Lean / README.md

amitayusht's picture

Update README.md

eb267d1 verified 7 months ago

|

history blame contribute delete

137 Bytes

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