commit: de9b419f375f0125b92bf8833d19c254a99f3b98

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

Tue Jun 18 16:58:33 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jun 18 16:58:33 2024 +1000
tree: 767de86bf633795014eb414b2abc055f3d6f396d
parent: bfc2ac9621d167d98d69a801d7c57bbf098232f9 [diff]

line breaks

src/Init/Data/List/Lemmas.lean[diff]

1 file changed

tree: 767de86bf633795014eb414b2abc055f3d6f396d

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