commit: c5b81a5161bd31152df63f5d1e7ffdb9c22133af

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

Tue Aug 06 22:27:03 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Aug 06 22:27:03 2024 -0700
tree: c98cd68168aa4accafa0204472da5f10bbeada05
parent: 1e6d617aadbb70fad1192f30e52c83684d1ebf31 [diff]

chore: safer `RC` assumptions at `instantiate_lmvars_fn` and `instantiate_mvars_fn`

src/kernel/instantiate_mvars.cpp[diff]

1 file changed

tree: c98cd68168aa4accafa0204472da5f10bbeada05

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