rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / test.log

rookiemango's picture

Upload folder using huggingface_hub

dddc1ae verified 5 months ago

447 Bytes

	Processing Commands: 0%\| \| 0/10 [00:00<?, ?it/s] Processing Commands: 10%\|█ \| 1/10 [00:54<08:08, 54.29s/it] Processing Commands: 60%\|██████ \| 6/10 [00:57<00:29, 7.26s/it] Processing Commands: 100%\|██████████\| 10/10 [00:57<00:00, 5.77s/it]
	Pass rate: 20.0%
	Processing Commands: 0%\| \| 0/10 [00:00<?, ?it/s] Processing Commands: 10%\|█ \| 1/10 [00:46<06:59, 46.61s/it]