commit: d82844af61821d21138a3643dda4431bf9c5dd2b

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

Wed Mar 06 10:03:11 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Mar 06 10:09:06 2024 -0800
tree: c6dd63c5853760ac8b450495cad185fdc27ba342
parent: 0072d13bd40aef791090d1e3e964413f1176162e [diff]

fix: fold raw `Nat` literals at `dsimp`

closes #2916

Remark: this PR also renames `Expr.natLit?` ==> `Expr.rawNatLit?`.
Motivation: consistent naming convention: `Expr.isRawNatLit`.

6 files changed

tree: c6dd63c5853760ac8b450495cad185fdc27ba342

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.