commit: b9fd59cae98429b53cca7fd8d211c4938ff903cd

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

Wed Jan 21 05:57:28 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 21 06:44:34 2026 -0800
tree: 38491634377e05ab2f65d66f08b028bb3bb12de5
parent: 8258cfe2a1111aa1d3304fadce6068950fe9e444 [diff]

feat: add `checkMaxShared`

src/Lean/Meta/Sym/Util.lean[diff]

1 file changed

tree: 38491634377e05ab2f65d66f08b028bb3bb12de5

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.