commit: 90241193853a4c2e08f6931235ac7c0c1ea881ab

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

Tue Jul 09 20:41:10 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 09 20:44:03 2024 -0700
tree: c6f1299cee8d1e40c5bd249fe70b0c0612b6320c
parent: 57b8b32c72b586ec062a200973192d8f8f2997c0 [diff]

fix: deprecated warnings for overloaded symbols

closes #4636

3 files changed

tree: c6f1299cee8d1e40c5bd249fe70b0c0612b6320c

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