commit: b49b5e2e00a04c4e4a72d806616e4263a4b9e407

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Oct 20 17:59:51 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Oct 20 19:17:58 2025 -0700
tree: 8ace512edb95f6208ec7472ed8ad98565b4de63a
parent: 756fee3e96a8473ab4804801e6945ac345f6ae46 [diff]

feat: `show_term` for `grind` interactive mode

This PR implements the `show_term` combinator in `grind` interactive mode.

2 files changed

tree: 8ace512edb95f6208ec7472ed8ad98565b4de63a

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.