commit: f4e62a70aaed454cdb85f91458ef734dd5fe1f35

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

Fri Apr 25 16:41:43 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Apr 25 16:41:43 2025 -0700
tree: c0a9e046bd068d7f6cf271a8b90aa8ba792af639
parent: 882d1ab81279c3113f3ce407233754ed132cd8ea [diff]

chore: broken test after update stage0

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

1 file changed

tree: c0a9e046bd068d7f6cf271a8b90aa8ba792af639

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