commit: 2029d30438067ac7eed7118f56690d0e7c36395c

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

Sat Feb 15 20:55:52 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Feb 15 20:55:52 2025 -0800
tree: ac33eb456ab4b41e019d94ef70527a01e6e729a1
parent: e707f72a70cced5ba0f2c44a9104a591fa9f986b [diff]

feat: add `toPoly`

3 files changed

tree: ac33eb456ab4b41e019d94ef70527a01e6e729a1

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).