Hugging Face's logo

rookiemango
/
auto-info

Model card Files Community
auto-info / miniF2F-lean4 /Main.lean
rookiemango's picture
rookiemango
Upload folder using huggingface_hub
32b6f1a verified
raw
history blame contribute delete
80 Bytes
import «MiniF2FLean4»
def main : IO Unit :=
IO.println s!"Hello, {hello}!"