amitayusht
/

ProofWala-Lean

Text2Text Generation

theorem-proving

Model card Files Files and versions Community

ProofWala-Lean / README

amitayusht's picture

Added license

e1d28a1 verified 3 months ago

history blame contribute delete

20 Bytes

	---
	license: mit
	---