commit: 664268a89ac526d42a966c3b036df228fc7cb7e0

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

Tue Jan 28 11:04:41 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Jan 28 11:04:41 2025 +1100
tree: 3ffb5ef1eed2cede9dd20c3edd40278bf0583e49
parent: f64bce6ef178c111f113647de131535db19ef096 [diff]

feat: add List.modifyHead_dropLast

src/Init/Data/List/Nat/Modify.lean[diff]

1 file changed

tree: 3ffb5ef1eed2cede9dd20c3edd40278bf0583e49

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