commit: c2cfd286c5795da6d4f69fa8e15edbf3c15fa7da

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

Sun Mar 03 18:31:16 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Mar 03 18:31:16 2024 -0800
tree: c3d1126c5e7d486e162a08467a6f8cb00746a967
parent: 98112b73dacf004cb7158c7a8da80d8bff8a57d5 [diff]

feat: fold numeric literals

5 files changed

tree: c3d1126c5e7d486e162a08467a6f8cb00746a967

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.