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


            
            h : 0 = 1

            
            ⊢ False

            
            first branch