commit: cd70bd0c28852d5c757bea707d89ff0b452b2e6b

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

Thu Feb 13 20:31:21 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Feb 13 20:31:33 2025 -0800
tree: 079d8d1811e84bef4743f15e874daf3dce403623
parent: c5a58deca7e09cbd4bc3f3caed2f34b35fdf21c8 [diff]

chore: import `Cutsat.lean`

src/Init/Data/Int.lean[diff]

1 file changed

tree: 079d8d1811e84bef4743f15e874daf3dce403623

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