[Lean] Add support for f32 and f64 Floats #1715
Description
Even-though proving anything about Floats is very hard, we should print them.
(from Lean's zulip : #Program verification > We can’t prove anything about Float right?)
{{ message }}
Even-though proving anything about Floats is very hard, we should print them.
(from Lean's zulip : #Program verification > We can’t prove anything about Float right?)