tests/compiler/init.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            started the program

            
            hello world

            
            30

            
            #[hello, world, foo]