tests/lean/noTabs.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            #check

            
              let a := 1

            
            	let b := 2

            
              a + b