commit: f6cfcc20b04d75294ea152f49c12c04de3da4b09

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

Thu Feb 06 20:55:59 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Feb 06 20:55:59 2025 +1100
tree: c5048ae6c2d08afda9c72e3cd0c192ca55e7d751
parent: c7bb7595d2f0ad796d5245dfbc993db4374038fa [diff]

derpecation

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

1 file changed

tree: c5048ae6c2d08afda9c72e3cd0c192ca55e7d751

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