rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / data

1 contributor

History: 3 commits

rookiemango's picture

Upload folder using huggingface_hub

2c223a5 verified 4 months ago