rookiemango
/

auto-info

Model card Files Files and versions Community

auto-info / miniF2F-lean4 /MiniF2F.lean

rookiemango's picture

Upload folder using huggingface_hub

32b6f1a verified 7 months ago

history blame contribute delete

70 Bytes

	import MiniF2F.Minif2fImport
	import MiniF2F.Valid
	import MiniF2F.Test