commit: 58651aec721c9c38b152d557f06020c8f19b7379

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

Mon Feb 12 17:51:02 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 12 17:51:02 2024 -0800
tree: 88c1bbb5f06a41f9f1cd9a2c960c7dd7165fde5a
parent: e87f78f9ea343a2017c490daf2ee0610f08bd4c4 [diff]

test: for issue #2939

closes #2939

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

1 file changed

tree: 88c1bbb5f06a41f9f1cd9a2c960c7dd7165fde5a

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.