feat: `Float32` This PR adds support for `Float32` to the Lean runtime. We need an update stage0, and then remove `#exit` from new `Float32.lean` file.
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean (documentation source: doc/make/index.md).