commit: 2b485c0dc3d3771697977afdbc94795e13292890

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

Mon Feb 12 12:25:17 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Feb 12 12:25:53 2024 +1100
tree: 99d89364d017ed640114183c2b7cfe7156bf2304
parent: 90b08ef22e0285a5bc92d4eb807b8f3084b963cf [diff]

chore: upstream liftCommandElabM

src/Lean/Elab/Command.lean[diff]

1 file changed

tree: 99d89364d017ed640114183c2b7cfe7156bf2304

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.