commit: 74baaf81853b9cd30bf5c47f6f46e34c15ac24d3

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

Tue Jul 01 16:47:32 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 01 16:50:57 2025 -0700
tree: 435e8b34e176a869e4ba25042df9aa42d0b9c5c8
parent: 2864efb2227dba1cb949c36c18dc4bb11b204ab4 [diff]

feat: polynomial operations with deep recursion and heartbeat checks

This PR adds "safe" polynomial operations to `grind ring`. The use the
usual combinators: `withIncRecDepth` and `checkSystem`.

4 files changed

tree: 435e8b34e176a869e4ba25042df9aa42d0b9c5c8

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.