rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / __pycache__

1 contributor

History: 2 commits

rookiemango's picture

Upload folder using huggingface_hub

1d2a897 verified 5 months ago

code.cpython-310.pyc

1.89 kB

Upload folder using huggingface_hub 5 months ago
code.cpython-39.pyc

1.85 kB

Upload folder using huggingface_hub 5 months ago
openllm_pass_rate_new_test.cpython-39.pyc

7.79 kB

Upload folder using huggingface_hub 5 months ago