commit: 354b0f2c7d2b01707645cf70699d2f873970aea5

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

Sat Dec 14 13:52:07 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Dec 14 13:52:07 2024 -0800
tree: 5c0d35c7e0cc454feb38764f6198eb0cb67f63ec
parent: f790b1999f04289512851a71274c4355d1f3eb62 [diff]

test: add test for issue #4585

This issue has been fixed by #6123

closes #4585

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

1 file changed

tree: 5c0d35c7e0cc454feb38764f6198eb0cb67f63ec

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