commit: 8558fd60f63ee636e03512a607664f3f10a0121e

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

Tue Jul 16 14:21:46 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 16 16:36:35 2024 -0700
tree: 2193555a2c52ab80d5b20b52c660b34ba70d333e
parent: b73fe04710437daf1140cc8d06bef3e0f503fd33 [diff]

perf: add `ShareCommon.shareCommon'`

A more efficient (but less flexible) `shareCommon` API.

5 files changed

tree: 2193555a2c52ab80d5b20b52c660b34ba70d333e

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