commit: e8775da421192beca544001ec8b71e0295977a7b

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

Sat Dec 21 14:51:05 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Sat Dec 21 14:51:05 2024 +1100
tree: 1fde90ab47365254fa2b4fae50ee829e611748ed
parent: b4636cb437a50309c28b399abcf2998e45f3679a [diff]

temporary fix

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

1 file changed

tree: 1fde90ab47365254fa2b4fae50ee829e611748ed

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