commit: e946e6dbdc684e7a6b0a85cde56c915e3ee92417

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

Tue Dec 23 19:57:49 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 23 19:57:49 2025 -0800
tree: 19ef19080fc6936ca45fb9b0be3d29a767d6fd73
parent: 09dc76f1f2ef8cbb6c8af38253a1c030f892fbeb [diff]

fix: missing file

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

1 file changed

tree: 19ef19080fc6936ca45fb9b0be3d29a767d6fd73

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.