commit: 088efe259cb55a5d7b1625f847ea7f6d0178f995

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

Wed Jan 01 09:41:48 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 01 09:41:48 2025 -0800
tree: 3e401566c5e360f1733192a220f763b35d639625
parent: e8567d6a1b756d968f69809b06017673f76583c5 [diff]

fix: avoid invalid metavar assignments in `instantiateTheorem`

2 files changed

tree: 3e401566c5e360f1733192a220f763b35d639625

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).