rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / .lake /build /lib /REPL /Main.ilean.hash

rookiemango's picture

Upload folder using huggingface_hub

a4fcbf1 verified 5 months ago

history blame contribute delete

20 Bytes

16942312741699144013