commit: b8bc6c318dff3f20ec9c64c30e4cba5ce59c1285

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

Sun Jan 11 14:52:52 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jan 11 14:52:52 2026 -0800
tree: d32f739e4cf4c39d8c6870ae8f1677a07ae8ea6a
parent: 563c71aaa9f9c00bc49d202b22d4cb020992803e [diff]

chore: move code

src/Lean/Meta/Sym/Simp/App.lean[diff]

1 file changed

tree: d32f739e4cf4c39d8c6870ae8f1677a07ae8ea6a

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.