commit: f6486cc026547674290a4167ece0747e6f35c4ba

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

Tue Jul 15 17:17:25 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 15 17:26:56 2025 -0700
tree: 7ed5e0253ebe896fabc5e312f67088ab5e6d0998
parent: afc4ba617fe2ca5828e0e252558d893d7791d56b [diff]

test:

For Joe's issue and congr_simp

tests/lean/run/congrSimpBug.lean[Added - diff]

1 file changed

tree: 7ed5e0253ebe896fabc5e312f67088ab5e6d0998

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.