rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / lean-toolchain

rookiemango's picture

Upload folder using huggingface_hub

dddc1ae verified 5 months ago

history blame contribute delete

28 Bytes

	leanprover/lean4:v4.7.0-rc2