rookiemango
/

auto-info

Model card Files Files and versions Community

auto-info / miniF2F-lean4 /lakefile.lean

Commit History

Upload folder using huggingface_hub

32b6f1a
verified

rookiemango commited on Jun 21, 2024