rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / __pycache__ /openllm_pass_rate_new_test.cpython-39.pyc

rookiemango's picture

Upload folder using huggingface_hub

dddc1ae verified 5 months ago

history contribute delete

7.79 kB

This file contains binary data. It cannot be displayed, but you can still download it.