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


            
            #check 42

            
            #check -42

            
            #check -42.0

            
            #eval -42.0

            
            #eval Neg.neg 42.0

            
            #eval 1.0 * -42.0
	#check 42
	#check -42
	#check -42.0
	#eval -42.0
	#eval Neg.neg 42.0
	#eval 1.0 * -42.0