commit: 16a4e4d0ec52b78cb83c0457e68b8175b9068c08

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

Mon Dec 23 20:16:58 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Dec 23 20:16:58 2024 -0800
tree: 86dc1c33761f33a57672a478c85c9204ee21bd7e
parent: 983784aa136b44f7f3390986ddc1dfa54e9e8c7e [diff]

test: `grind` test with many equalities

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

1 file changed

tree: 86dc1c33761f33a57672a478c85c9204ee21bd7e

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