commit: 2f933a2716751497b4f3316ac785f98f101aa09a

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

Sun Dec 22 18:14:37 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Dec 22 18:14:37 2024 -0800
tree: 28a0d7b386b83fa319f66c6fbc8ae1fe5346da08
parent: 03811de7fb83188c0d8ccb0650601e05f7aece57 [diff]

test: add test for `addCongrTable`

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

1 file changed

tree: 28a0d7b386b83fa319f66c6fbc8ae1fe5346da08

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