pkuAI4M
/

mathlib_formal_v4.24.0

Model card Files Files and versions

mathlib_formal_v4.24.0 / README.md

tonyxty's picture

initial commit

4b61478 verified 12 days ago

|

history blame contribute delete

31 Bytes

	---
	license: apache-2.0
	---