commit: 964b27d3cc59234673aaaa75065284046d292b0a

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

Sat Feb 24 15:26:27 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Feb 24 15:26:27 2024 -0800
tree: 27420e0aa5b8b8299a4fb54f0c6183f67ed5bd42
parent: 2c47adf943c3e886a8bc8922796515e7520825b1 [diff]

perf: `mkSplitterProof`

2 files changed

tree: 27420e0aa5b8b8299a4fb54f0c6183f67ed5bd42

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.