commit: 695334bae885ea649c548487f9f6c68fdd950779

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

Wed Jun 11 11:25:39 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 11 14:09:57 2025 +1000
tree: 6aa9b8c8b158139b32eaa741d6761679e89b78c7
parent: 0a9c24649767dea857a388e5385b7ae94bfd0185 [diff]

chore: remove set_option grind.warning false

110 files changed

tree: 6aa9b8c8b158139b32eaa741d6761679e89b78c7

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.