commit: 093ce276af67fbbddd9cb76167e0a74f480af3a0

[log]
author: Kim Morrison <kim@tqft.net>

Fri Dec 06 11:32:08 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Fri Dec 06 11:32:08 2024 +1100
tree: 3fd9c12591e4077c1f19cef99e69ba9ed00b313d
parent: b3e79f7c1db042b559f8129bf9535ae45953ebc6 [diff]

fix simproc

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

1 file changed

tree: 3fd9c12591e4077c1f19cef99e69ba9ed00b313d

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