commit: 671057eecf8d4b9af64ade4650ade3ebe6df9036

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Fri Jul 25 11:05:31 2025 +0200
committer: GitHub <noreply@github.com>

Fri Jul 25 09:05:31 2025 +0000
tree: 61c3565057648efa9cc659f9e0697231308f29d1
parent: 0ab69a32cbc59aafdc9a143672974c299e040452 [diff]

fix: `unif_hint` under the module system (#9530)

src/Init/NotationExtra.lean[diff]

1 file changed

tree: 61c3565057648efa9cc659f9e0697231308f29d1

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.