rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / .lake /build /ir /REPL /Lean /InfoTree.c.o

rookiemango's picture

Upload folder using huggingface_hub

a4fcbf1 verified 5 months ago

94.5 kB

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