commit: 74c7bcd9a72ad2eba3d6e1774619fefd0d255b33

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

Sat Feb 08 14:38:45 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Feb 08 14:38:45 2025 -0800
tree: 4e1b3d64fbe12397df1d43320605b42e9c6a4f58
parent: 757d76c20a22365008c00af489813e87f20f804a [diff]

chore: simp proof

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

1 file changed

tree: 4e1b3d64fbe12397df1d43320605b42e9c6a4f58

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