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


            
            906.lean:2:4-2:15: warning: declaration uses 'sorry'

            
            906.lean:14:2-14:28: error: tactic 'simp' failed, nested error:

            
            maximum recursion depth has been reached (use `set_option maxRecDepth <num>` to increase limit)
	906.lean:2:4-2:15: warning: declaration uses 'sorry'
	906.lean:14:2-14:28: error: tactic 'simp' failed, nested error:
	maximum recursion depth has been reached (use `set_option maxRecDepth <num>` to increase limit)