commit: 4e1d56d1cc3214c396bf2b731c4f1c38bbd5ccbf

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

Sat Apr 05 20:22:38 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Apr 05 21:18:53 2025 -0700
tree: 71e0395733d4e17efab2037e684fafb322883af6
parent: 201f35c118c205007d47c66d3a03e6a7624b3f06 [diff]

fix: `denoteAsIntExpr` missing `shareCommon`

4 files changed

tree: 71e0395733d4e17efab2037e684fafb322883af6

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