commit: 7bf8e97c92ded2368db59045b3958e785bb5d111

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

Thu Jan 30 14:10:13 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Jan 30 14:10:13 2025 +1100
tree: 70ccd607c90c80c61df6521b824ed84030021a40
parent: cc8901812d9f9036f1ff5db67d9b507754a5a439 [diff]

fix imports

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

1 file changed

tree: 70ccd607c90c80c61df6521b824ed84030021a40

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