commit: 2a279860fd93fbf3cba36b049207f825fd391e5e

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

Sun May 25 21:53:51 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun May 25 21:53:51 2025 -0700
tree: 6a4d9fcf448cb4a725f8f3222e256ae7b9bd43b7
parent: 5ea3afe34a874df7a4f1887fa9e7bd5ac2a80127 [diff]

feat: add `congrConsts`

3 files changed

tree: 6a4d9fcf448cb4a725f8f3222e256ae7b9bd43b7

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.