1. Top
  2. leantest
  3. Files
  4. Main.lean
leantest

Apparently this is load-bearing now

  1. 1
  2. 2 
import Mathlib
def main := IO.println "Hello, world!"