commit: 3b77c365e85e2f78d61ace3e0eeb7fa4448342e8

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

Tue May 14 16:34:15 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue May 14 17:20:55 2024 -0700
tree: e6de774e7fdbef832ed693e39c47dd0903d401ca
parent: d0e34aaed50c1bfbb15717d60b310d094341bb3e [diff]

feat: add `MVarId.ensureNoMVar`

3 files changed

tree: e6de774e7fdbef832ed693e39c47dd0903d401ca

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