rookiemango
/

lean4-compile

lean4-compile / nvcc_use.txt

Upload folder using huggingface_hub

2c223a5 verified 5 months ago

714 kB

This file contains binary data. It cannot be displayed, but you can still download it.