rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / .gitignore

rookiemango's picture

Upload folder using huggingface_hub

0449c46 verified 4 months ago

history blame contribute delete

151 Bytes

	/build
	/lake-packages/*
	/lakefile.olean
	/.lake
	/test/Mathlib/.lake
	/test/*.olean
	/test/*.olean.tmp
	pass_rate_results///*.json
	.lake/
	compile_result/