rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / nvcc_use.txt

Commit History

Upload folder using huggingface_hub

2c223a5
verified

rookiemango commited on Sep 24, 2024