rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / pass_rate_results

1 contributor

History: 2 commits

rookiemango's picture

Upload folder using huggingface_hub

a4fcbf1 verified 5 months ago

compile_result
Upload folder using huggingface_hub 5 months ago