commit: 457d22a9581a739c738056fc716595c5c7c4e74f

[log]
author: Kim Morrison <kim@tqft.net>

Thu Aug 07 22:07:10 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Aug 07 22:07:10 2025 +1000
tree: b05b85cbd8809ec5178ab8a8a5b44c9cec4c9ffa
parent: 04a3968206ee7fb1802f36dee19d832cd0b780f0 [diff]

chore: split out Expr.getMVarDependencies from MVarId.getMVarDependencies

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

1 file changed

tree: b05b85cbd8809ec5178ab8a8a5b44c9cec4c9ffa

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.