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


            
            def f := 42

            
            def f' := Lean.reduceNat f


            #print axioms f'


            def g := false

            
            def g' := Lean.reduceBool g


            #print axioms g'
	def f := 42
	def f' := Lean.reduceNat f

	#print axioms f'

	def g := false
	def g' := Lean.reduceBool g

	#print axioms g'