commit: e9efd52f229748d888e44e730a7e11765dd28840

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

Tue Oct 28 16:13:47 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Oct 28 16:13:47 2025 +1100
tree: 2e383377f8c8ad06d00ab3e169a12ad70438fe36
parent: 1981c626048bb5b9e8e519c67079dc9522530f49 [diff]

feat: add `@[grind ext]` attributes for extensional maps

7 files changed

tree: 2e383377f8c8ad06d00ab3e169a12ad70438fe36

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.