commit: 069bb5eaff5e93cdb5704c0ec6311ebd7265d933

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

Fri Feb 09 10:17:33 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Fri Feb 09 10:17:33 2024 +1100
tree: 463fa0bd4e7a9cc2c564b4ec8a30624ea228c24c
parent: e97413203184f70d14735d7ee77ccda2d2c16c3a [diff]

revert dumb API change

src/Lean/MetavarContext.lean[diff]

1 file changed

tree: 463fa0bd4e7a9cc2c564b4ec8a30624ea228c24c

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.