commit: 5302b7889abcd018cbc84d63dd04eefadca0969f

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

Wed Mar 06 10:29:20 2024 -0800
committer: GitHub <noreply@github.com>

Wed Mar 06 18:29:20 2024 +0000
tree: 31eccb4c75144f11c8bf0d17cdf2cf3e1da68082
parent: 46cc00d5db647c88632ec203ecfb20d64b6ff954 [diff]

fix: fold raw `Nat` literals at `dsimp` (#3624)

closes #2916

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

6 files changed

tree: 31eccb4c75144f11c8bf0d17cdf2cf3e1da68082

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.