commit: 71e1701df22a8f24b06a8cd829c1b1367e6514d3

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

Fri Dec 27 12:56:12 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Dec 27 12:56:12 2024 -0800
tree: d47b0c644972260692b69b55b8292be7507fdbf7
parent: 74bbd88d7a0ddb8f75a03197384d2f8f75d211d4 [diff]

chore: fix test

Some goals in the test are now closed by `grind`.

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

1 file changed

tree: d47b0c644972260692b69b55b8292be7507fdbf7

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