commit: 51cf8aa7a182a5239026be89bd635ac62b0f80b3

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

Fri Dec 20 14:11:33 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Dec 20 14:11:33 2024 -0800
tree: 1df80c4b8f3423f7a31802a3cf1f6a8f32d057db
parent: fcba0c7cba4029f4b72499e74acfa8d384b15f0f [diff]

feat: add `Expr.fvarsSubset`

src/Lean/Util.lean[diff]
src/Lean/Util/FVarSubset.lean[Added - diff]
tests/lean/run/fvarSubset.lean[Added - diff]

3 files changed

tree: 1df80c4b8f3423f7a31802a3cf1f6a8f32d057db

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 (documentation source: doc/make/index.md).