1 2 3 4
import Covstream def main : IO Unit := IO.println "Covstream builds. Start in Covstream/Basic.lean."