commit: cf5e76973b58f0a2fd54204e254c489d868d39a3

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Mon Apr 22 16:28:36 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Apr 22 16:28:36 2024 +1000
tree: aefef47093377fcbdf679bc0e2c676c84a03b554
parent: e4daca8d6b02677115282abff8515a9afb6a2a29 [diff]

feat: monadic generalization of FindExpr

src/Lean/Util/FindExpr.lean[diff]

1 file changed

tree: aefef47093377fcbdf679bc0e2c676c84a03b554

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.