commit: 9d75976b15e27614def02d4e9caaad67cbfebd3c

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

Sat May 31 07:53:49 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat May 31 07:53:49 2025 -0700
tree: 3b7803570ef40ab0ca11e5e49ae9297317eb1dc5
parent: adc7b1ed87569f3a1c9358ef9fab43f8ffe46370 [diff]

refactor: simplify inferface between core and offset module

`processNewEqLit` optimization is not worth the extra complexity.

4 files changed

tree: 3b7803570ef40ab0ca11e5e49ae9297317eb1dc5

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.