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


            
            42 : Nat

            
            -42 : Int

            
            -42.0 : Float

            
            -42.000000

            
            -42.000000

            
            -42.000000
	42 : Nat
	-42 : Int
	-42.0 : Float
	-42.000000
	-42.000000
	-42.000000