commit: d762aa146d659d4e092775df8517050e53fe072d

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

Thu Dec 11 18:35:50 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Dec 11 18:35:50 2025 +1100
tree: 12c713d3b6a5a327dc81982fad3b0e15e117061b
parent: 725598ee6e28d5cd61c9d0bb55c823edc1b2fba1 [diff]

include ground theorems in grind?

5 files changed

tree: 12c713d3b6a5a327dc81982fad3b0e15e117061b

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.