rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / data

Commit History

Upload folder using huggingface_hub

0449c46
verified

rookiemango commited on Sep 28, 2024

Upload folder using huggingface_hub

a4fcbf1
verified

rookiemango commited on Sep 26, 2024

Upload folder using huggingface_hub

2c223a5
verified

rookiemango commited on Sep 24, 2024

Upload folder using huggingface_hub

1d2a897
verified

rookiemango commited on Sep 23, 2024

Upload folder using huggingface_hub

dddc1ae
verified

rookiemango commited on Sep 22, 2024