commit: d0b80f263d7932cbe57db8c5fa717e1f42f725df

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

Fri Feb 14 19:59:45 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 14 20:00:33 2025 -0800
tree: 3e53d5d8faa045d0f1c7194c71ca177ee43f2b09
parent: 09768a939854f98b16706791db7e56c705264a63 [diff]

test: divisibility constraint normalization

tests/lean/run/simp_int_arith.lean[diff]

1 file changed

tree: 3e53d5d8faa045d0f1c7194c71ca177ee43f2b09

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