commit: 6e91fff236ea9c68465989c1ecdf79b60e2f6bff

[log]
author: Robin Arnez <152706811+Rob23oba@users.noreply.github.com>

Mon Aug 17 06:23:39 2026 +0000
committer: GitHub <noreply@github.com>

Mon Aug 17 06:23:39 2026 +0000
tree: 7ab9711824f3af5385b1b7277d27ab6ebcbaecbc
parent: 029e0bff04fe7ffcdbb5bf840a7aad5b35560b00 [diff]

feat: meta-programming changes ahead of #8309 (#10935)

This PR introduces the meta-programming changes necessary to make
everything compatible with the redefinition of `Decidable` in #8309.

11 files changed

tree: 7ab9711824f3af5385b1b7277d27ab6ebcbaecbc

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.