commit: 433bc1d382533ec16f6555e0cff899bd7935c1e9

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

Mon May 06 15:55:07 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon May 06 15:55:07 2024 -0700
tree: 99ba6088f8d3a30b5924abc7c5e262339f55f0b8
parent: 37f97a4a0d089c5c5f7a5015b17b80e6276fc432 [diff]

chore: test for issue #4064

closes #4064

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

1 file changed

tree: 99ba6088f8d3a30b5924abc7c5e262339f55f0b8

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