commit: 6d26387662397ed30b316a616e2a3c77f6b0bb82

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

Sat Jun 21 09:24:19 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Sat Jun 21 09:24:19 2025 +1000
tree: bc781df2aea94dc630ed31dc7669a4087b436493
parent: be80a2328119466082971f263c5d004376717a86 [diff]

chore: a few missing grind typeclass docstrings

2 files changed

tree: bc781df2aea94dc630ed31dc7669a4087b436493

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.