commit: 52f7ab2bcb4f7c15961155b87b1c186cb8c524e2

[log]
author: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Tue Feb 10 18:31:58 2026 +0100
committer: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Fri Feb 20 09:31:19 2026 +0100
tree: 5c8631b0762eb015d9714f1197f3c5375ba62ff1
parent: 674fa9cf5eee8500f9ce48ec5bc9a2dd56beee18 [diff]

fix foldr_eq_foldl

3 files changed

tree: 5c8631b0762eb015d9714f1197f3c5375ba62ff1

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.