commit: ed192948d96ab564c9c6730a57bfb727f6c3f96f

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

Tue May 14 13:09:01 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue May 14 13:09:01 2024 +1000
tree: b8f32d0ea6ac57d2b128e3a67c5ad787dac89cc0
parent: 60fd9846fa29ce17d7150de32f4cf130d01b6752 [diff]

turn off linter again

src/Lean/Widget/UserWidget.lean[diff]

1 file changed

tree: b8f32d0ea6ac57d2b128e3a67c5ad787dac89cc0

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