commit: 6b633003427b301525c2628aa1eaab19461cba03

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

Fri Jan 02 13:38:02 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jan 02 13:38:02 2026 -0800
tree: 3a1f10349973d32113698ee68e121fe5e6964f37
parent: 514a5fddc6a393bfa1af56f7c90218dc16d4c255 [diff]

doc: structural matching and definitional equality

This PR documents assumptions made by the symbolic simulation framework
regarding structural matching and definitional equality.

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

1 file changed

tree: 3a1f10349973d32113698ee68e121fe5e6964f37

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.