commit: 747f0efa97cb8d045176f71f59aff7a95e050291

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

Mon Aug 05 09:49:30 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Aug 05 09:59:56 2024 -0700
tree: 9509aeafe64d1e17935c907a97a63bc885045b87
parent: 2a0310dfbd011cf732ec51c6eed397ca8ee48db8 [diff]

fix: `instantiate_lmvars_fn`

src/kernel/instantiate_mvars.cpp[diff]

1 file changed

tree: 9509aeafe64d1e17935c907a97a63bc885045b87

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