rookiemango
/

auto-info

Model card Files Files and versions Community

auto-info / miniF2F-lean4 /MiniF2FLean4.lean

rookiemango's picture

Upload folder using huggingface_hub

32b6f1a verified 7 months ago

history blame contribute delete

20 Bytes

def hello := "world"