commit: f8816b8c1513f8f15e7b4b5efe44eb97dcf88ebf

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

Tue Aug 06 10:08:42 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Aug 06 10:23:25 2024 -0700
tree: b2ca75c6855c26c85e9b5a2afbecb5dd3ffe90ab
parent: 4a2fb6e9220c7cd0ca8ec7a51e6012e9dacb8f9d [diff]

chore: `recursion` => `while` at `instantiate_mvars_fn`

src/kernel/instantiate_mvars.cpp[diff]

1 file changed

tree: b2ca75c6855c26c85e9b5a2afbecb5dd3ffe90ab

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