commit: a0efa50fe7ae712168d40f62af9764d8dcdc9f2e

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

Wed Jun 04 19:06:46 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jun 04 19:07:51 2025 -0700
tree: 2208b99455740eee1164df69518a888fc7f7fcfa
parent: 6ebf39d0fc9549207c5b832755f6d82f0c89816b [diff]

feat: `IntModule` normalization

3 files changed

tree: 2208b99455740eee1164df69518a888fc7f7fcfa

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.