commit: 7c29fc989cbb18a7b852642404cc8036e08b9b9d

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

Wed Jun 18 15:43:07 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 18 15:43:07 2025 +1000
tree: c399eb4419ba6c904a60340be55bfb2138a7c8e5
parent: 6240cd5aa9f53aab08bb32ea516c963b2ffdc951 [diff]

chore: Lean.Grind.IntModule instances

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

1 file changed

tree: c399eb4419ba6c904a60340be55bfb2138a7c8e5

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.