commit: ce03344184e9f0a8f1d9f6a9d8cd6e09db8b2943

[log]
author: Rob Simmons <rob@lean-fro.org>

Thu Sep 25 20:59:03 2025 -0400
committer: Rob Simmons <rob@lean-fro.org>

Thu Sep 25 20:59:03 2025 -0400
tree: 153582b87a1772765d6db16c7179a0aeefec32d4
parent: 05854a401d79e3da64475fc78f52f179986fb035 [diff]

Add back mistakenly removed tests

tests/lean/decimals.lean[Added - diff]
tests/lean/decimals.lean.expected.out[Added - diff]

2 files changed

tree: 153582b87a1772765d6db16c7179a0aeefec32d4

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.