commit: 5844405ee938f9cd9456fff4a1c2a1b95607e76b

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

Sun Apr 06 12:24:13 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Apr 06 12:36:49 2025 -0700
tree: 1f166b0dc25d320ada77b67aec87a8296c3f3d7b
parent: 9e4fe939dc2f50e59f121d1fa74931b1270fd37a [diff]

feat: `LeanMPZ` at `sharecommon_quick_fn`

2 files changed

tree: 1f166b0dc25d320ada77b67aec87a8296c3f3d7b

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