commit: 898f64a87096d79d5f77adfb4a9514e793929462

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

Fri Feb 14 17:01:03 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 14 17:01:03 2025 -0800
tree: 2ecb18046b3ae242801e09f9cd29736e616dd2f2
parent: 8e878f8e21cce1ec0419494db1824bcc4289fbdd [diff]

chore: fix build

src/Lean/Meta/Tactic/LinearArith/Int/Simp.lean[diff]

1 file changed

tree: 2ecb18046b3ae242801e09f9cd29736e616dd2f2

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