commit: 2d3cedf8fea7215919aa6265fc53e7773a3e8ca5

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

Sun Jul 12 18:13:47 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jul 12 18:13:47 2026 +0000
tree: 98aeaf47e902f27b47657bd1cc65d45d63ce45e9
parent: 1b84d06fd80c8d399acb38b63c57f2dfc7b61852 [diff]

fix: simproc normalization of terms such as `0#n`

2 files changed

tree: 98aeaf47e902f27b47657bd1cc65d45d63ce45e9

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.