commit: 6b9e5e111b7fd27e07c18a91158c16505630daa2

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

Thu Sep 11 22:38:42 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Sep 11 22:38:42 2025 +1000
tree: e7afc1c4568a2c9bf912bd4aa0868d5813f3223b
parent: 244d1080af1dd0e3afb2e0000ad9664177aded44 [diff]

oops, error in pattern

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

1 file changed

tree: e7afc1c4568a2c9bf912bd4aa0868d5813f3223b

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.