rookiemango
/

auto-info

Model card Files Files and versions Community

auto-info / miniF2F-lean4 /lean-toolchain

rookiemango's picture

Upload folder using huggingface_hub

32b6f1a verified 7 months ago

history blame contribute delete

28 Bytes

	leanprover/lean4:v4.7.0-rc2