commit: 5adf19cb4f82aa2723c010fa139bf61e64dd6f89

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

Thu Mar 14 11:53:09 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Mar 14 17:12:30 2024 -0700
tree: 2d80487b366b443c64a218f1729ab6fc3882b38b
parent: 02f4d716e1aae222edaa7964be87a81a36f3b930 [diff]

fix: log errors produced by a reserved name action

src/Lean/ReservedNameAction.lean[diff]

1 file changed

tree: 2d80487b366b443c64a218f1729ab6fc3882b38b

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.