commit: 8d06adf2cb2037cf2ec994d7a467d017b9942a62

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

Sat Dec 20 12:34:33 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Feb 12 22:33:09 2026 +1100
tree: 0e7a8844b5f042be903e81a1a0dc1926f94a83ef
parent: dd9f474fab08cd6b85c555659871ab457b5ac9d9 [diff]

add grind_order and grind_linarith wrappers while we're here

5 files changed

tree: 0e7a8844b5f042be903e81a1a0dc1926f94a83ef

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.