commit: 92d0e825882ad353b8413714d4abeeba58144901

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

Mon Mar 31 14:58:06 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Mar 31 14:58:06 2025 +1100
tree: ff991cde27cc534a009935c727552bc7bd37be2e
parent: 1367bd7a0d619192d2321bb12eddfad4e6a2c24f [diff]

remove higher order HEq examples; by-design

tests/lean/grind/heq.lean[Deleted - diff]

1 file changed

tree: ff991cde27cc534a009935c727552bc7bd37be2e

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