commit: ac7fc3ec45c9f5aa30cdbb7763438df5bad4f212

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

Wed May 21 21:14:00 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed May 21 21:14:00 2025 +1000
tree: e99247a8177a3e279be001e4b56326acb3143c18
parent: 1287043c7b85e3a7f89a7bd7e545dc1a8e385086 [diff]

dfold_add

src/Init/Data/Nat/Fold.lean[diff]

1 file changed

tree: e99247a8177a3e279be001e4b56326acb3143c18

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.