commit: b918bd145c2ff7af91364e97e852c3e8df2fe38c

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

Wed Jul 17 12:49:57 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jul 17 12:49:57 2024 -0700
tree: d11cb6141d94efa0c385c6ea629fe90b21d171ef
parent: 09ddc75f29e39c6ade8348a20ba3ad05d4f8e1bd [diff]

feat: add `isExclusiveUnsafe`

2 files changed

tree: d11cb6141d94efa0c385c6ea629fe90b21d171ef

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