5 lines
73 B
Lean4
5 lines
73 B
Lean4
import LeanGraphics
|
|
|
|
def main : IO Unit :=
|
|
IO.println s!"{startupMsg}"
|