commit: 9a1cc1361e8c09187a676c3efcab25711143d9c4

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

Tue Jun 11 09:34:57 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 11 09:34:57 2024 -0700
tree: 082c1c009f9b5139078d69b00f26c776b09af51c
parent: 98402c3364e52ddd6e0a191c8a59ab0f69e998f4 [diff]

test: additional tests from issue #4413

tests/lean/run/4413.lean[diff]

1 file changed

tree: 082c1c009f9b5139078d69b00f26c776b09af51c

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