commit: 7fab4a8bf6c7894e2e372f9926d9d5fedd1c0ea4

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

Tue May 20 14:02:43 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue May 20 14:02:43 2025 +1000
tree: 07789658fc88021f828900a893d45524216b23aa
parent: ad4279c71e0b43d832225caaa7010302133f49ab [diff]

fix instances

src/Init/Grind/Module/Basic.lean[diff]

1 file changed

tree: 07789658fc88021f828900a893d45524216b23aa

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.