commit: 884bdd1d853895b35525e03cded442f7cd0fa25e

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

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

Tue Dec 10 18:25:04 2024 -0800
tree: 1dae70abb0f4d065ab34c6750935d753ce3b8dba
parent: 9bc100eee483ba64620f7660c7ad7a5b722d334f [diff]

test: add basic `Float32` tests

tests/lean/run/float32.lean[Added - diff]

1 file changed

tree: 1dae70abb0f4d065ab34c6750935d753ce3b8dba

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).