commit: 31d62d9aaa5aa0e4fc9b53fa3f029d2297deb1ab

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 10 18:30:14 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 10 18:30:14 2024 -0800
tree: 86ff0e6a1e18273e4e3a9ccc09aa5f31b8ff99b1
parent: 884bdd1d853895b35525e03cded442f7cd0fa25e [diff]

feat: add `Float.toFloat32` and `Float32.toFloat32`

2 files changed

tree: 86ff0e6a1e18273e4e3a9ccc09aa5f31b8ff99b1

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).