commit: 585036db1e727292f5c0255208b96fab6f5bbef9

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

Sat May 24 17:31:12 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat May 24 17:31:12 2025 -0700
tree: 83a085332b707b415b15c9b8b8314cb92c3aafb8
parent: 479a9991445ad21677c4fd63ff01ef4c9c9c9bec [diff]

chore: add `seal` performance workaround

2 files changed

tree: 83a085332b707b415b15c9b8b8314cb92c3aafb8

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.