commit: 81e408dbc8eb845e1e1a7ef46fb39bb99e2f6e6e

[log]
author: Leonardo de Moura <leonardodemoura@Leonardos-MacBook-Pro.local>

Wed Apr 16 17:43:01 2025 -0700
committer: Leonardo de Moura <leonardodemoura@Leonardos-MacBook-Pro.local>

Wed Apr 16 17:43:01 2025 -0700
tree: c2b5c53da67e39154872e51c92d136de3737cae8
parent: 2a5373258f89a26c913f8860a15b163901071b0e [diff]

feat: add `Expr.toPoly`

2 files changed

tree: c2b5c53da67e39154872e51c92d136de3737cae8

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 (documentation source: doc/make/index.md).