commit: 8f20da9982052937e6d18249249ced63e6b3990e

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

Tue Jun 25 22:35:36 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 25 22:35:36 2024 -0700
tree: fde395a8580869987993e31ec876ab499ad92b4b
parent: c02de92ad47191cff372fc54b4833d35bc59ac56 [diff]

test: add example from issue

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

1 file changed

tree: fde395a8580869987993e31ec876ab499ad92b4b

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