rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / pass_rate_notlean_test_woproof.py

Commit History

Upload folder using huggingface_hub

0449c46
verified

rookiemango commited on Sep 28, 2024