commit: 525184c0f6dd1dc87a5e887a1f9211f9bf6cfa41

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

Wed Sep 10 01:47:19 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Wed Sep 10 01:47:19 2025 +0200
tree: 3980e05479a47d90ff0fcec67b49fd0dec00ea25
parent: dd87739fc251a23f7ce3d8e7895688202aec69f7 [diff]

feat: cutsat and grobner frontends for grind

4 files changed

tree: 3980e05479a47d90ff0fcec67b49fd0dec00ea25

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.